Computers, Reasoning and Mathematical Practice

Cached

Download Links

by Ursula Martin
Citations:6 - 2 self

Documents Related by Co-Citation

26 Symbolic Computation: Computer Algebra and Logic – Bruno Buchberger - 1996
12 Lightweight Formal Methods For Computer Algebra Systems – Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin - 1998
8 et al. The Coq proof assistant reference manual, version 5.10. Rapport technique RT-0177 – C Cornes - 1995
2 De Aldor `a Zermelo – Guillaume Alexandre - 1998
3 Why computer algebra systems can't solve simple equations – Richard Fateman - 1996
12 A Type System for Computer Algebra – Philip S. Santas - 1994
43 Elementary strong functional programming – D. A. Turner, Canterbury Ct Nf - 1995
17 Walther Recursion – David Mcallester, Kostas Arkoudas - 1996
96 Type Theory and Functional Programming – Simon Thompson, C Simon Thompson - 1991
141 Intuitionistic type theory. Bibliopolis – P Martin-Löf - 1984
25 Analytica - An Experiment in Combining Theorem Proving and Symbolic – A Bauer, E Clarke - 1998
260 Programming in Martin-Löf’s Type Theory. An Introduction – B Nordström, K Petersson, J M Smith - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
5 Connecting Informal and Formal Mathematics – H Elbers - 1998
5 Future of AI technology – M Minsky - 1992
9 Extending the resolution method with sorts – C Weidenbach - 1993
4 Types are not harmless – L Lamport - 1995