The polarized \(\lambda\)-calculus
type: Item
instance of: scholarly article
title: The polarized \(\lambda\)-calculus
zbMATH Open document ID: 1394.68059
author: José Espírito Santo
publication date: 2018-04-23T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 6862975
zbMATH Keywords: polarized logic
zbMATH Keywords: focusing
zbMATH Keywords: bidirectional natural deduction
zbMATH Keywords: general elimination rule
zbMATH Keywords: eta-expansion
Wikidata QID: Q113317593
MaRDI profile type: Publication
full work available at URL: j.entcs.2017.04.010
OpenAlex ID: W2646210003
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Focused Natural Deduction
cites work: A logical characterization of forward and backward chaining in the inverse method
cites work: The \(\lambda \)-calculus and the unity of structural proof theory
cites work: Towards a canonical classical natural deduction system
cites work: Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
cites work: Q3994895
cites work: Call-by-push-value: Decomposing call-by-value and call-by-name
cites work: Focusing and polarization in linear, intuitionistic, and classical logics
cites work: Q5559220
cites work: Mechanizing Mathematical Reasoning
cites work: Structural Focalization
cites work: Natural deduction with general elimination rules
cites work: On the unity of duality
DOI: 10.1016/J.ENTCS.2017.04.010
Recommended article: Polarized proof-nets and \(\lambda \mu\)-calculus
Recommended article: The \(\lambda\)-context calculus
Recommended article: Polarized Classical Non-associative Lambek Calculus and Formal Semantics
Recommended article: Q4490747
Recommended article: Polarised Intermediate Representation of Lambda Calculus with Sums
Recommended article: A mixed \(\lambda\)-calculus
Recommended article: The λ-calculus in the π-calculus
Recommended article: The Structural λ-Calculus
Recommended article: Q4952053
Recommended article: Q4436024
description: scientific article; zbMATH DE number 6862975