scientific article; zbMATH DE number 1508934

MaRDI QIDQ4506397zbMATH OpenFDO

Authors Pierre Leleu, J. Despeyroux

Publication date 18 September 2000

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2000/A2000-01/A2000-01.html

zbMATH Keywords

intuitionistic modal lambda-calculus

Mathematics Subject Classification ID

Logic programming (68N17)

Cited in

(9)

• Denotation of contextual modal type theory (CMTT): syntax and meta-programming
• Formal metatheory of the lambda calculus using Stoughton's substitution
• Nonmodularity results for lambda calculus
• scientific article; zbMATH DE number 1231474 (Why is no real title available?)
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• scientific article; zbMATH DE number 2015288 (Why is no real title available?)
• scientific article; zbMATH DE number 757638 (Why is no real title available?)
• scientific article; zbMATH DE number 1418450 (Why is no real title available?)
• scientific article; zbMATH DE number 1420785 (Why is no real title available?)

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 Q4506397)