2 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer science, Functional programming (Computer science), Functional programming (computer science), Logic, symbolic and mathematical, Mathematics, Programming languages (Electronic computers), Programming languages (electronic computers), Semantics, Type theoryID Numbers
- OLID: OL6357387A
Links (outside Open Library)
No links yet. Add one?
November 4, 2008 | Created by ImportBot | Imported from Talis record |