Lambda Terms for Natural Deduction, Sequent Calculus and Cut Elimination

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796899003524
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

On Some Relations Between Natural Deduction and Sequent Calculus

English

Towards a Cut-Free Sequent Calculus for Boolean BI

English

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

A Classical Sequent Calculus With Dependent Types

ACM Transactions on Programming Languages and Systems
Software
2019English

Strict Intersection Types for the Lambda Calculus

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2011English

Storage Operators and Directed Lambda-Calculus

Journal of Symbolic Logic
PhilosophyLogic
1995English

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Continuity and Discontinuity in Lambda Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy