Skip to content

Home Practice Lessons About

Samson Abramsky

Books

Category Theory and Computer Programming
Typed Lambda Calculi and Applications
Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.