Search Results for Transformations (Mathematics) - Narrowed by: Proof theory.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dTransformations$002b$002528Mathematics$002529$0026qf$003dSUBJECT$002509Subject$002509Proof$002btheory.$002509Proof$002btheory.$0026ps$003d300;jsessionid=1A0AC74B8CCACFFE3E5AE9C5E6A26B6A?
2026-11-01T16:12:32Z
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:1187534
2026-11-01T16:12:32Z
2026-11-01T16:12:32Z
by Sørensen, Morten Heine.<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444520777">http://www.sciencedirect.com/science/book/9780444520777</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=149">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=149</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/bookseries/0049237X/149">http://www.sciencedirect.com/science/bookseries/0049237X/149</a><br/>Format: Electronic Resources<br/>