pawel urzyczyn
Lectures on the Curry-Howard Isomorphism
EbookSofort lieferbarThe Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as ...
Mathematical Foundations of Computer Science 2006
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 31st International Symposium on Mathematica...
Typed Lambda Calculi and Applications
EbookSofort lieferbarThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in...
Mathematical Foundations of Computer Science 2006
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 31st International Symposium on Mathemat...
Lectures on the Curry-Howard Isomorphism
BuchBezug 11-15The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as ...
Typed Lambda Calculi and Applications
TaschenbuchBezug 11-15The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in...
- 1