robertjohnsimmons's proof-theory [10 articles] Export

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

Hide details

	Introduction to linear logic and ludics, part II [My Copy] (19 Jan 2005) by Pierre-Louis Curien posted to proof-theory proof-nets ludics linear-logic cut-elimination by robertjohnsimmons on 2009-12-02 17:45:19 as along with 1 person robotact
	The Logical Basis of Evaluation Order and Pattern-Matching [My Copy] No. CMU-CS-09-122. (April 2009) by Noam Zeilberger posted to refinement-types proof-theory polarization logic functional-programming focusing by robertjohnsimmons on 2009-09-18 16:35:33 as
	Contextual modal type theory [My Copy] ACM Trans. Comput. Logic, Vol. 9, No. 3. (2008), pp. 1-49. by Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka posted to proof-theory modal-logic explicit-substitutions dependent-types by robertjohnsimmons on 2009-08-17 13:33:18 as along with 1 group ConcertRG
	Introduction to linear logic and ludics, part I [My Copy] (18 Jan 2005) by Pierre-Louis Curien posted to cut-elimination linear-logic ludics proof-nets proof-theory semantics by robertjohnsimmons on 2009-08-05 22:34:03 as along with 2 people and 1 group scis0000001 flavian_vasile ConcertRG
	Forcing in proof theory [My Copy] Bulletin of Symbolic Logic, Vol. 10, No. 3. (September 2004), pp. 305-333. by Jeremy Avigad posted to forcing proof-theory by robertjohnsimmons on 2009-08-02 00:51:18 as
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to linear-logic logic logical-relations natural-deduction proof-theory by robertjohnsimmons on 2009-07-24 13:39:42 as along with 7 people and 1 group pedagand ddemange dimvar robotact alec AndreasSchropp jonathlela ConcertRG
	Cut-elimination for a logic with definitions and induction [My Copy] Theoretical Computer Science, Vol. 232, No. 1-2. (6 February 2000), pp. 91-119. by R. Mcdowell posted to cut-elimination induction proof-theory by robertjohnsimmons on 2009-07-22 23:05:14 as
	Structural Logical Relations [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on, Vol. 0 (2008), pp. 69-80. by Carsten Schürmann, J. Sarnat posted to induction proof-theory by robertjohnsimmons on 2009-07-14 05:41:11 as along with 1 group ConcertRG
	A Useful Substructural Logic [My Copy] Logic Jnl IGPL, Vol. 2, No. 2. (1 September 1994), pp. 137-148. by G. R. E. G. Restall posted to proof-theory ordered-logic bunched-logic by robertjohnsimmons on 2009-07-12 22:11:21 as
	Mathematical linguistics and proof theory [My Copy] In Handbook of Logic and Language (1997), pp. 683-736. by Wojciech Buszkowski edited by Johan van Benthem, Ter posted to categorial-logic linguistics logic proof-theory by robertjohnsimmons on 2009-06-30 19:09:58 as

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

robertjohnsimmons's tags

All tags in robertjohnsimmons's library

Filter:

Privacy Statement | Terms & Conditions

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