scientific article; zbMATH DE number 7204561

DOI10.4230/LIPICS.ICALP.2017.109zbMATH Open1442.03009MaRDI QIDQ5111441FDOQ5111441

Authors Gilles Dowek

Publication date 27 May 2020

Full work available at URL https://arxiv.org/abs/1501.06522

zbMATH Keywords

simple type theorycalculus of constructionsproof reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Termination Modulo Combinations of Equational Theories
• Reducibility Proofs in the λ-Calculus
• Decomposition theorems and model-checking for the modal \(\mu\)-calculus
• scientific article; zbMATH DE number 1330425
• Models for the computational \(\lambda\)-calculus
• CONCUR 2005 – Concurrency Theory
• Terminating calculi and countermodels for constructive modal logics
• A finite model theorem for the propositional \(\mu\)-calculus
• On modular termination proofs of general logic programs
• scientific article; zbMATH DE number 2174387

Cited in

(7)

• On the convergence of reduction-based and model-based methods in proof theory
• scientific article; zbMATH DE number 6744143 (Why is no real title available?)
• Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
• scientific article; zbMATH DE number 1330425 (Why is no real title available?)
• scientific article; zbMATH DE number 7559278 (Why is no real title available?)
• A modular construction of type theories
• Termination Modulo Combinations of Equational Theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111441)