Search Results for Transformations (Mathematics) - Narrowed by: Lambda calculus.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dTransformations$002b$002528Mathematics$002529$0026qf$003dSUBJECT$002509Subject$002509Lambda$002bcalculus.$002509Lambda$002bcalculus.$0026ic$003dtrue$0026ps$003d300?
2026-11-03T14:30:39Z
Lectures on the Curry-Howard isomorphism
ent://SD_ILS/0/SD_ILS:1187534
2026-11-03T14:30:39Z
2026-11-03T14:30:39Z
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/>