BibTeX
@MISC{Miller78livingsystems,
author = {Dale Miller and Elaine Pimentel},
title = {Living Systems},
year = {1978}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
linear logic to reason about sequent
Citations
| 728 | A formulation of the simple theory of types - Church - 1940 |
| 290 | Logic programming with focusing proofs in linear logic - Andreoli - 1992 |
| 39 | Proof Theoretic Approach To Specification Languages - Chirimar - 1995 |
| 32 | LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication - Danos, Joinet, et al. - 1995 |
| 21 | Abrusci and Paul Ruet. Non-commutative logic I: The multiplicative fragment - Michele |
