Lectures on the Curry-Howard isomorphism / Morten Heine Srensen, Pawe Urzyczyn.
Saved in:
Superior document: | Studies in logic and the foundations of mathematics, v. 149 |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2006 |
Edition: | 1st ed. |
Language: | English |
Series: | Studies in logic and the foundations of mathematics ;
v. 149. |
Online Access: | |
Physical Description: | xiv, 442 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Lectures on the Philosophy of Mathematics : : Edited and with an Introduction by Wolfgang Grassl.
by: Waismann, Friedrich,
Published: (1982.) -
Distribution models theory / editors Rafael Herrerias Pleguezuelo, Jose Callejon Cespedes, and Jose Manual Herrerias Velasco.
Published: (c2006.) -
The role of true finiteness in the admissible recursively enumerable degrees / / Noam Greenberg.
by: Greenberg, Noam,
Published: ([2006]) -
Greedy Algorithms / / edited by Witold Bednorz.
by: Bednorz, Witold
Published: (2008) -
Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli, Elisabetta Risi.
Published: (2022.)