Building Theories In Nuprl (1988)

View PDF

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

280 Constructive mathematics and computer programming – P Martin-Löf - 1982
497 The calculus of constructions – T Coquand, G P Huet - 1988
20 Automating Reasoning in an Implementation of Constructive Type Theory – D J Howe - 1988
548 A Computational Logic – R S Boyer, J S Moore - 1979
605 A Transformation System for Developing Recursive Programs – R. M. Burstall, John Darlington - 1977
879 A formulation of the simple theory of types – A Church - 1940
1535 A Discipline of Programming – E W DIJKSTRA - 1976
498 The Science of Programming – D Gries - 1981
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988