The Quest for Correctness (1996)

Cached

Download Links

by Henk Barendregt
Citations:6 - 3 self

Active Bibliography

Formalizing Basic Number Theory – Thomas Marthedal Rasmussen - 2000
Integrating Model Checking and Theorem – Proving For Relational, Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin Rinard - 2003
2 A Sequent Calculus for Signed Interval Logic – Thomas Marthedal Rasmussen - 2001
1 COMEL: A Formal Model for COM – Rosziati Ibrahim - 1998
14 Contracts, Components, and their Runtime Verification on the .NET Platform – Mike Barnett, Wolfram Schulte - 2002
3 Simultaneous Quantifier Elimination – Serge Autexier, Heiko Mantel, Werner Stephan - 1998
SIGACT News Logic Column 18 Alternative Logics: A Book Review ∗ – Riccardo Pucella - 705
8 Statecharts: From Visual Syntax to Model-Theoretic Semantics – Gerald Lüttgen , Michael Mendler - 2001
3 Simplifying proofs in Fitch-style natural deduction systems – Konstantine Arkoudas - 2004
23 System Description: inka 5.0 - A Logic Voyager – Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer - 1999
11 Deductive Runtime Certification – Konstantine Arkoudas, Martin Rinard - 2004
Coercions in Hindley-Milner Systems – Robert Kiessling, Zhaohui Luo
Incremental Changes in LEGO – Randy Pollack And, Y Pollack, Claire Jones - 1994
2 A Type-Theoretic Analysis of Modular Specifications – Savitri Maharaj, Savitri Maharaj - 1996
1 Formalising mathematics in UTT: fundamentals and case studies – Gilles Barthe - 1994
9 Why dependent types matter – Thorsten Altenkirch, Conor Mcbride, James Mckinna - 2005
4 Formal Development of Functional Programs in Type Theory -- A Case Study – Martin Hofmann - 1992
5 Typechecking in Pure Type Systems – Randy Pollack, Eric Poll - 1992
6 Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping – Alex Jones, Zhaohui Luo, sergei Soloviev - 1996