robertjohnsimmons's Pfenning:F [26 articles] Export

Recent papers posted to robertjohnsimmons's library by the author Pfenning:F. You can also see everyone's Pfenning:F.

	A Coverage Checking Algorithm for LF [My Copy] Theorem Proving in Higher Order Logics (2003), pp. 120-135. by Carsten Schürmann, Frank Pfenning posted to unification-algorithms logical-framework dependent-types coverage-checking canonical-forms by robertjohnsimmons on 2009-11-20 07:28:56 as
	A Concurrent Logical Framework: The Propositional Fragment [My Copy] Types for Proofs and Programs (2004), pp. 355-377. by Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker posted to logical-frameworks linear-logic lax-logic concurrency clf by robertjohnsimmons on 2009-09-18 14:57:00 as
	On Linear Inference [My Copy] (2 February 2008) by Frank Pfenning posted to linear-logic forward-chaining by robertjohnsimmons on 2009-09-18 14:54:27 as
	Substructural Operational Semantics as Ordered Logic Programming [My Copy] Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on In Proceedings of LICS '09, Vol. 0 (04 August 2009), pp. 101-110. by Frank Pfenning, Robert J. Simmons posted to uniform-proofs substructural-operational-semantics substructural-logic logical-frameworks by robertjohnsimmons on 2009-09-10 16:40:01 as
	A Judgmental Analysis of Linear Logic [My Copy] No. CMU-CS-03-131R. (April 2003) by Bor-Yuh E. Chang, Kaustuv Chaudhuri, Frank Pfenning posted to linear-logic by robertjohnsimmons on 2009-08-21 22:32:14 as
	Church and Curry: Combining Intrinsic and Extrinsic Typing [My Copy] (1 December 2008) by Frank Pfenning edited by Christoph Benzmüller, Chad E. Brown, Jörg Siekmann, Richard Statman posted to rg-2009 refinement-types lambda-calculus canonical-forms by robertjohnsimmons on 2009-08-18 07:38:07 as along with 1 person and 1 group neelk ConcertRG
	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
	A judgmental reconstruction of modal logic [My Copy] Mathematical Structures in Computer Science, Vol. 11, No. 04. (2001), pp. 511-540. by Frank Pfenning, Rowan Davies posted to modal-logic judgmental-reconstruction by robertjohnsimmons on 2009-08-17 13:25:55 as along with 1 person and 1 group hdeyoung ConcertRG
	A Symmetric Modal Lambda Calculus for Distributed Computing [My Copy] Logic in Computer Science, Symposium on In Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on, Vol. 0 (2004), pp. 286-295. by Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning posted to no-tag by robertjohnsimmons on 2009-08-16 04:47:22 as along with 2 people and 1 group pirapira kozima ConcertRG
	A Bidirectional Refinement Type System for LF [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 196 (22 January 2008), pp. 113-128. by W. Lovas, F. Pfenning posted to bidirectional-type-systems logical-frameworks refinement-types by robertjohnsimmons on 2009-08-06 19:54:36 as along with 1 group ConcertRG
	An Authorization Logic With Explicit Time [My Copy] Computer Security Foundations Symposium, 2008. CSF '08. IEEE 21st In CSF '08: Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium, Vol. 0 (09 July 2008), pp. 133-145. by Henry DeYoung, Deepak Garg, Frank Pfenning posted to authorization-logic security temporal-logic by robertjohnsimmons on 2009-07-29 13:38:16 as along with 1 person hdeyoung
	A Linear Spine Calculus [My Copy] J Logic Computation, Vol. 13, No. 5. (1 October 2003), pp. 639-688. by Iliano Cervesato, Frank Pfenning posted to linear-logic spine-form by robertjohnsimmons on 2009-07-24 16:49:21 as along with 1 group ConcertRG
	Structural Cut Elimination I. Intuitionistic and Classical Logic [My Copy] Information and Computation, Vol. 157, No. 1-2. (25 February 2000), pp. 84-141. by F. Pfenning posted to cut-elimination logic twelf by robertjohnsimmons on 2009-07-24 16:45:22 as
	Primitive recursion for higher-order abstract syntax [My Copy] Theor. Comput. Sci., Vol. 266, No. 1-2. (2001), pp. 1-57. by Carsten Schürmann, Joelle Despeyroux, Frank Pfenning posted to higher-order-abstract-syntax metatheory by robertjohnsimmons on 2009-07-24 16:35:44 as along with 1 person kozima
	Efficient resource management for linear logic proof search [My Copy] Theor. Comput. Sci., Vol. 232, No. 1-2. (2000), pp. 133-163. by Iliano Cervesato, Joshua S. Hodas, Frank Pfenning posted to backward-chaining implementation linear-logic logic-programming by robertjohnsimmons on 2009-07-24 16:33:46 as
	Unification via Explict Substitutions: The Case of Higher-Order Patterns [My Copy] No. 3591. (December 1998) by Gilles Dowek, Therese Harden, Claude Kirchner, Frank Pfenning posted to explicit-substitutions higher-order-abstract-syntax unification by robertjohnsimmons on 2009-07-24 16:31:32 as
	Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk) [My Copy] Programming Languages and Systems In Proceedings of ASPLAS '04 (November 2004), pp. 196-196. by Frank Pfenning posted to substructural-operational-semantics by robertjohnsimmons on 2009-07-24 14:16:55 as
	Monadic concurrent linear logic programming [My Copy] In Proceedings of PPDP '05 (July 2005), pp. 35-46. by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins posted to backward-chaining forward-chaining linear-logic logic-programming logical-frameworks lollimon modal-logic by robertjohnsimmons on 2009-07-24 14:11:35 as along with 3 people and 1 group hdeyoung darinm tautologico ConcertRG
	Verifying Uniqueness in a Logical Framework [My Copy] Theorem Proving in Higher Order Logics (2004), pp. 18-33. by Penny Anderson, Frank Pfenning posted to logical-frameworks metatheory twelf by robertjohnsimmons on 2009-07-23 14:37:18 as along with 1 person thegoose
	Unification and anti-unification in the calculus of constructions [My Copy] Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on In Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on (06 August 2002), pp. 74-85. by F. Pfenning posted to calculus-of-constructions higher-order-abstract-syntax unification by robertjohnsimmons on 2009-07-22 23:53:15 as along with 1 person spl
	A Linear Logic of Authorization and Knowledge [My Copy] Computer Security – ESORICS 2006 (2006), pp. 297-312. by Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter posted to authorization-logic linear-logic modal-logic security by robertjohnsimmons on 2009-07-22 21:18:53 as
	System Description: Twelf --- A Meta-Logical Framework for Deductive Systems [My Copy] Automated Deduction — CADE-16 In Automated Deduction --- CADE-16 (1999), pp. 202-206. by Frank Pfenning, Carsten Schürmann posted to higher-order-abstract-syntax logic-programming metatheory twelf by robertjohnsimmons on 2009-07-20 19:10:45 as along with 1 person bulwahn
	A Logical Characterization of Forward and Backward Chaining in the Inverse Method [My Copy] Journal of Automated Reasoning In Journal of Automated Reasoning, Vol. 40, No. 2. (1 March 2008), pp. 133-177. by Kaustuv Chaudhuri, Frank Pfenning, Greg Price posted to backward-chaining focusing forward-chaining polarization by robertjohnsimmons on 2009-07-14 03:12:01 as
	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
	Linear Logical Algorithms [My Copy] Automata, Languages and Programming In Proceedings of ICALP '08 (2008), pp. 336-347. by Robert J. Simmons, Frank Pfenning posted to forward-chaining linear-logic logic-programming by robertjohnsimmons on 2009-06-30 16:32:13 as
	Linear logical approximations [My Copy] In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2009), pp. 9-20. by Robert J. Simmons, Frank Pfenning posted to abstract-interpretation forward-chaining linear-logic logic-programming substructural-operational-semantics by robertjohnsimmons on 2009-06-30 16:30:43 as

Note: You may cite this page as: http://www.citeulike.org/user/robertjohnsimmons/author/Pfenning:F

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

robertjohnsimmons's Pfenning:F [26 articles] Export

robertjohnsimmons's tags