Lectures on the Curry-Howard isomorphism
Saved in:
Main Author: |
Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
(Author) |
---|---|
Other Authors: |
Urzyczyn, Pawel
(Author) |
Format: | Book |
Language: | English |
Published: |
Amsterdam :
Elsevier,
2006
|
Series: | Studies in logic and the foundations of mathematics,
v. 149 |
Genre/form: | učebnice vysokých škol |
ISSN: | 0049-237X ; |
ISBN: | 0-4445-2077-5 978-0-4445-2077-7 |
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|