scientific article; zbMATH DE number 7204561

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

Gilles Dowek

Publication date: 27 May 2020

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

simple type theorycalculus of constructionsproof reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• On the convergence of reduction-based and model-based methods in proof theory
• Title not available (Why is that?)
• Termination Modulo Combinations of Equational Theories
• A modular construction of type theories

   Recommendations

• Termination Modulo Combinations of Equational Theories 👍 👎
• Reducibility Proofs in the λ-Calculus 👍 👎
• Decomposition theorems and model-checking for the modal μ -calculus 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)