Computability via the lambda calculus with patterns

DOI10.5539/JMR.V2N4P157MaRDI QIDQ3070573zbMATH OpenOpenAlexFDO

Authors Bodin Skulkiat, Pimpen Vejjajiva, Mark E. Hall

Publication date 3 February 2011

Published in Journal of Mathematics Research (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL http://www.ccsenet.org/journal/index.php/jmr/article/view/5797

zbMATH Keywords

computability relative to a structurecongruencelambda calculuslambda calculus with patterns

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Other infinitary logic (03C75)

Recommendations

• scientific article; zbMATH DE number 2186938
• Lambda calculus with patterns
• A Lambda-Calculus with Constructors
• The λ-calculus with constructors: Syntax, confluence and separation
• An Introduction to the Lambda Calculus

Cited in

(3)

• scientific article; zbMATH DE number 2186938 (Why is no real title available?)
• Pattern-based calculi with finitary matching
• Lambda calculus with patterns

This page was built for publication: Computability via the lambda calculus with patterns

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3070573)