3658 search results - page 73 / 732 » The logic of proofs, semantically |
CSL
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We prove "untyping" theorems: in some typed theories (semirings, Kleene algebras, residuated lattices, involutive residuated lattices), typed equations can be d...
JSYML
2010
13 years 7 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
PLPV
2012
ACM
12 years 4 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the