A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits (1996)

View PDF

Download Links

by Michael Mendler
Venue:PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS
Citations:6 - 3 self

Active Bibliography

7 Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic – Michael Mendler - 1999
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
467 Comprehending Monads – Philip Wadler - 1992
344 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
339 Theorems for free! – Philip Wadler - 1989
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
167 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
Abstraction and Constraints: Two Sides of the Same Coin – M. Walton, M. Walton, Phd Supervisor, M. V. H. Fairtlough - 1997