Showing 1 - 1 results of 1 for search 'Urzyczyn, Pawe.', query time: 0.04s Refine Results
1
Lectures on the Curry-Howard isomorphism
Participants: Srensen, Morten Heine. [ ]; ProQuest (Firm) [ ]; Urzyczyn, Pawe. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: 2006.
Superior document: Studies in logic and the foundations of mathematics, v. 149
Other Authors: “...Urzyczyn, Pawe....”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search