scientific article; zbMATH DE number 1841845

zbMATH Open0999.03039MaRDI QIDQ4783333FDOQ4783333

Carsten Schürmann

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420585

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

Recommendations

• Typed Lambda Calculi and Applications
• Primitive recursion for higher-order abstract syntax
• Recursion over objects of functional type
• scientific article; zbMATH DE number 2185713
• scientific article; zbMATH DE number 1722696

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Second- and higher-order arithmetic and fragments (03F35)

Cited In (7)

• Recursion over objects of functional type
• Recursive constructions for large caps
• Theorem Proving in Higher Order Logics
• Typed Lambda Calculi and Applications
• Title not available (Why is that?)
• A meta linear logical framework
• Imperative LF 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 Q4783333)