scientific article; zbMATH DE number 1841845

MaRDI QIDQ4783333zbMATH OpenFDO

Authors Carsten Schürmann

Publication date 4 December 2002

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

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)

Recommendations

• Typed Lambda Calculi and Applications
• Primitive recursion for higher-order abstract syntax
• Recursion over objects of functional type
• Publication:3024905
• Publication:2778868

Cited in

(7)

• Recursion over objects of functional type
• A meta linear logical framework
• Typed Lambda Calculi and Applications
• Theorem Proving in Higher Order Logics
• Imperative LF meta-programming
• Recursive constructions for large caps
• scientific article; zbMATH DE number 1722696 (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 Q4783333)