Structured Calculational Proof (1996)

Cached

Download Links

by Ralph Back , Jim Grundy , Joakim von Wright , Turku Centre , Computer Science
Citations:17 - 9 self

Active Bibliography

457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
11 A Browsable Format for Proof Presentation – Jim Grundy, Turku Centre, Computer Science - 1996
254 Categorial Type Logics – Michael Moortgat - 1997
243 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
167 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
193 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
29 The Refinement Calculator: Proof Support for Program Refinement – Michael Butler, Jim Grundy, Thomas Langbacka, Rimvydas Ruksenas, Joakim von Wright - 1997