You have Guest access.
Log In
Pawel Urzyczyn
Front matter
1-9
Completeness Theorems and λ-Calculus
10
A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract
11-22
Can Proofs Be Animated By Games?
23-38
Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs
39-54
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable
55-70
A Feasible Algorithm for Typing in Elementary Affine Logic
71-85
Practical Inference for Type-Based Termination in a Polymorphic Setting
86-101
Relational Reasoning in a Nominal Semantics for Storage
102-115
Filters on CoInductive Streams, an Application to Eratosthenes’ Sieve
116-130
Recursive Functions with Higher Order Domains
131-145
Elementary Affine Logic and the Call-by-Value Lambda Calculus
146-161
Rank-2 Intersection and Polymorphic Recursion
162-178
Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus
179-193
Subtyping Recursive Types Modulo Associative Commutative Products
194-208
Galois Embedding from Polymorphic Types into Existential Types
209-220
On the Degeneracy of Σ-Types in Presence of Computational Classical Logic
221-233
Semantic Cut Elimination in the Intuitionistic Sequent Calculus
234-245
The Elimination of Nesting in SPCF
246-261
Naming Proofs in Classical Propositional Logic
262-277
Reducibility and ⊤ ⊤-Lifting for Computation Types
278-292
Privacy in Data Mining Using Formal Methods
293-307
L3: A Linear Language with Locations
308-323
Binding Signatures for Generic Contexts
324-338
Proof Contexts with Late Binding
339-353
The Ñ\nabla-Calculus. Functional Programming with Higher-Order Encodings
354-368
A Lambda Calculus for Quantum Computation with Classical Control
369-385
Continuity and Discontinuity in Lambda Calculus
386-400
Call-by-Name and Call-by-Value as Token-Passing Interaction Nets
401-416
Avoiding Equivariance in Alpha-Prolog
417-432
Higher-Order Abstract Non-interference
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info