Lectures on the Curry-Howard isomorphism
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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!
|
Physical Description: | xiv, 442 s. |
---|---|
Bibliography: | Obsahuje bibliografii a rejstřík |
Edition: | 1st ed. |