Search Results for Transformations (Mathematics) - Narrowed by: Programmeren (computers)
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dTransformations$002b$002528Mathematics$002529$0026qf$003dSUBJECT$002509Subject$002509Programmeren$002b$002528computers$002529$002509Programmeren$002b$002528computers$002529$0026ps$003d300;jsessionid=92D02272803980FFEBCDCADB02CC544F?
2026-11-03T21:22:15Z
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:1187534
2026-11-03T21:22:15Z
2026-11-03T21:22:15Z
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/>