Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Führmann, Carsten - Department of Computer Science, University of Bath
Propositional logic (revision) & semantic entailment
applications. http://www.cs.bath.ac.uk/#cf/ C.Fuhrmann@bath.ac.uk
Propositional propositional
Intuitionistic Satisfaction
ORDER-ENRICHED CATEGORICAL MODELS OF THE CLASSICAL SEQUENT CALCULUS
On the Geometry of Interaction for Classical Logic (Extended Abstract)
Equational Lifting Monads Anna Bucalo 1
On the Geometry of Interaction for Classical Logic
On the Geometry of Interaction for Classical Logic
CM30071: Logic and its applications.
Soundness and completeness Soundness and
Logics considered 1. Classical logic
The structure of call-by-value Carsten Fuhrmann
An Equational Notion of Lifting Monad Anna Bucalo
Varieties of Effects Carsten Fuhrmann
A PATTERN-MATCHING CALCULUS FOR -AUTONOMOUS CATEGORIES ABSTRACT. This article sums up the details of a linear -calculus that can be used as an internal
On the call-by-value CPS transform and its Carsten Fuhrmann a,,1
Electronic Notes in Theoretical Computer Science 20 (1999) URL: http://www.elsevier.nl/locate/entcs/volume20.html 49 pages
Natural deduction Motivation for formal
