Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Publications of this person
Urzyczyn, Pawel
Biographical Details:
Polský autor publikací z oboru matematiky a počítačové vědy.
Source:
Jeho: Typed lambda calculi and applications, 2005
LC (Names)
BNPL
More info:
Publications of this person
4
Publications about this person
0
Metadata
Detailed results >>
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
Publications of this person
×
Loading...