Přeskočit na obsah
Toggle navigation
English
Odhlásit
Jednotné přihlášení NTK
Vše
Název
Autor
Předmětové heslo
LCC signatura
Stará signatura
ISBN/ISSN
Tag
Systémové číslo
Hledat
Pokročilé vyhledávání
Hlavní strana
Publikace dané osoby
Urzyczyn, Pawel
Biografické údaje:
Polský autor publikací z oboru matematiky a počítačové vědy.
Zdroj:
Jeho: Typed lambda calculi and applications, 2005
LC (Names)
BNPL
Další informace:
Publikace dané osoby
4
Publikace o dané osobě
0
Metadata
Podrobné výsledky >>
Lectures on the Curry-Howard isomorphism
Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stará Lesná, Slovakia, August 28 - September 1, 2006 : proceedings
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Typed lambda calculi and applications : 7th international conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
Publikace dané osoby
×
Načítá se...