Building Theories In Nuprl (1988)

Cached

Download Links

by David A. Basin
Venue:Logic at Botik 89, number 363 in Lecture Notes in Computer Science
Citations:3 - 1 self

Documents Related by Co-Citation

269 Constructive mathematics and computer programming – P Martin-Löf - 1982
478 The calculus of constructions – G Huet Coquand - 1988
20 Automating Reasoning in an Implementation of Constructive Type Theory – D J Howe - 1988
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
857 A formulation of the simple theory of types – Alonzo Church - 1940
573 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
1423 A Discipline of Programming – E W Dijkstra - 1976
469 The Science of Programming – D Gries - 1987
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988