robertjohnsimmons's sequent-calculus [8 articles] Export

Recent papers added to robertjohnsimmons's library classified by the tag sequent-calculus. You can also see everyone's sequent-calculus.

Hide details

	Testing Concurrent Systems: An Interpretation of Intuitionistic Logic [My Copy] FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (2005), pp. 517-528. by Radha Jagadeesan, Gopalan Nadathur, Vijay Saraswat posted to sequent-calculus logic-programming focusing concurrency by robertjohnsimmons on 2009-11-24 19:45:11 as
	The Mathematics of Sentence Structure [My Copy] The American Mathematical Monthly, Vol. 65, No. 3. (1958), pp. 154-170. by Joachim Lambek posted to sequent-calculus categorial-logic by robertjohnsimmons on 2009-09-18 15:28:37 as
	Proof search in Lax Logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 573-588. by Jacob M. Howe posted to sequent-calculus natural-deduction lax-logic focusing by robertjohnsimmons on 2009-08-18 06:52:47 as along with 1 group ConcertRG
	On the Unity of Logic [My Copy] No. 1467. (June 1991) by Jean-Yves Girard posted to classical-logic linear-logic logic sequent-calculus by robertjohnsimmons on 2009-07-22 21:04:27 as
	Rules of definitional reflection [My Copy] Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on In Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on (1993), pp. 222-232. by P. Schroeder-Heister posted to definitional-reflection omega-rules sequent-calculus by robertjohnsimmons on 2009-07-22 20:57:43 as
	Contraction-Free Sequent Calculi for Intuitionistic Logic [My Copy] The Journal of Symbolic Logic, Vol. 57, No. 3. (1992), pp. 795-807. by Roy Dyckhoff posted to decision-procedures sequent-calculus by robertjohnsimmons on 2009-07-22 14:29:54 as along with 1 group ConcertRG
	A Constructive Approach to the Resource Semantics of Substructural Logics [My Copy] by Jason Reed, Frank Pfenning posted to backward-chaining focusing logical-frameworks metatheory sequent-calculus substructural-logic by robertjohnsimmons on 2009-07-02 19:28:13 as
	Abstractions of uniform proofs [My Copy] Algebraic and Logic Programming (1996), pp. 224-237. by Paolo Volpe posted to abstract-interpretation backward-chaining forward-chaining logic-programming sequent-calculus weanreview by robertjohnsimmons on 2009-06-30 15:25:09 as

Note: You may cite this page as: http://www.citeulike.org/user/robertjohnsimmons/tag/sequent-calculus

logic-programming	42
linear-logic	40
forward-chaining	28
functional-programming	24
weanreview	24
program-analysis	20
logical-frameworks	19
saturation	16
categorial-logic	15
metatheory	15
modal-logic	14
backward-chaining	13
focusing	13
abstract-interpretation	12
twelf	12
complexity	12
matching	12
lambda-calculus	12
zipper	11
linguistics	10
unification	10
proof-theory	10
theorem-proving	9
concurrency	9
higher-order-abstract-syntax	9
negation	8
sequent-calculus	8
bunched-logic	8
logic	8
rewriting-logic	7
control-flow	7
resolution	6
display-logic	6
induction	6
substructural-logic	6
process-calculi	6
temporal-logic	5
cut-elimination	5
classical-logic	5
classic-papers-fall09	5
distributed-programming	5
lax-logic	5
linear-terms	5
natural-deduction	5
dependent-types	5
case-analysis	5
polymorphism	4
matching-modulo	4
ordered-logic	4
weighted-logic-programming	4
semantics	4
parsing	4
bisimulation	4
typed-assembly-language	4
implementation	4
security	4
hoare-logic	4
pedagogy	4
binary-decision-diagram	4
refinement-types	4
canonical-forms	4
polarization	4
explicit-substitutions	4
aci	4
design	4
tuple-programming	3
substructural-operational-semantics	3
proof-nets	3
associativity	3
type-inference	3
archproject	3
unification-algorithms	3
parallelism	3
equivalence	3
computability-logic	3
formalize-this	3
rg-2009	3
program-transformation	3
higher-order-logic-programming	3
cost-semantics	3
datatypes	3
logical-framework	3
termination	3
category-theory	3
bidirectional-type-systems	3
structural-induction	3
uniform-proofs	3
isabelle	2
derivative	2
proof-assistants	2
spatial-logic	2
recursion	2
interpreters	2
coq	2
types	2
de-bruijn-index	2
equality	2
kriple-models	2
context-unification	2
stratification	2
classical-linear-logic	2
agda	2
clf	2
linda	2
lollimon	2
denotational-semantics	2
observational-proofs	2
judgmental-reconstruction	2
haskell	2
pattern-matching	2
authorization-logic	2
lazy-computation	2
complexity-chart	2
acl2	2
iterators	2
dynamic-logic	2
logical-relations	2
object-oriented-programming	2
hybrid-logic	2
intersection-types	2
evaluation-contexts	2
contexts	2
fold	2
nonclausal-resolution	2
ludics	2
semigroups	2
probabilistic-programming	2
natural-language	1
program-extraction	1
alfp	1
possible-concertrg-paper	1
standard-ml	1
conservative-extension	1
separate-compilation	1
locally-nameless	1
ironies	1
non-commutative-logic	1
natural-logic	1
monads	1
phase-change-memory	1
teaching-logic	1
nilpotence	1
algebra	1
stack-integrity	1
type-theory	1
regular-worlds	1
inference	1
work-stealing	1
congruence-closure	1
poylmorphism	1
citeulike	1
functional-pearl	1
correctness	1
lisp	1
backtrack	1
incremental-compilation	1
separation-logic	1
incremental-evaluation	1
type-logical-grammar	1
box-proofs	1
stress	1
abstract-containers	1
pure-type-systems	1
skolemization	1
committed-choice	1
coverage-checking	1
definability-theory	1
tabled-logic-programming	1
transactions	1
distributed-consensus	1
constraint-logic-programming	1
horn-clauses	1
full-abstraction	1
flattening	1
dependency-parsing	1
fault-tolerance	1
factored-models	1
core-calculi	1
abstraction	1
calculus-of-constructions	1
static-analysis	1
decision-procedures	1
coinduction	1
hash-consing	1
binding	1
language-design	1
algebraic-logic	1
pcf	1
data-abstraction	1
translating-ordered-logic	1
futures	1
deduction	1
modularity	1
extensionality	1
mismatch	1
fold-unfold	1
church-rosser	1
dram	1
flow-analysis	1
term-observation	1
set-theory	1
graphs	1
graph-algorithms	1
partial-evaluation	1
union-types	1
survey	1
optimization	1
verification	1
categorical-logic	1
equational-unification	1
curry-howard	1
hybrid-systems	1
definitional-reflection	1
semi-naive-evaluation	1
defunctionalization	1
dyna	1
normalization	1
confluence	1
storage	1
nlp	1
java	1
free-variables	1
boolean-algebras	1
compilers	1
omega-rules	1
galois-connections	1
continuations	1
evaluation-order	1
multi-focusing	1
semiring	1
forcing	1
comp-ling	1
spine-form	1
structural-operational-semantics	1
completeness	1
to-appear	1
secd-machine	1
groupoids	1
self-adjusting-computation	1
cirquent-calculus	1
cooperative-learning	1
algol	1
operational-semantics	1
queue-logic	1
power-management	1
yi	1
heyting-algebras	1
greediness	1
proof	1
concurrent-constraint-programming	1

robertjohnsimmons's sequent-calculus [8 articles] Export

robertjohnsimmons's tags