Reviews matching “Foundations for programming languages”

1 result

BookAuthorReviewerJournalDate
Foundations for programming languages John C. Mitchell Arnon Avron The Journal of Symbolic Logic 1999

Open this search with filters