scientific article; zbMATH DE number 1508934

zbMATH Open0946.68016MaRDI QIDQ4506397FDOQ4506397

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

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

Recommendations

• scientific article; zbMATH DE number 1231474
• Publication:4944849
• scientific article; zbMATH DE number 757638
• scientific article; zbMATH DE number 1438807
• Publication:4942005

zbMATH Keywords

intuitionistic modal lambda-calculus

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (7)

• Title not available (Why is that?)
• Formal metatheory of the lambda calculus using Stoughton's substitution
• Title not available (Why is that?)
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Nonmodularity results for lambda calculus
• Title not available (Why is that?)
• Denotation of contextual modal type theory (CMTT): syntax and meta-programming

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)