Computability Via The Lambda Calculus with Patterns

DOI10.5539/jmr.v2n4p157zbMath1219.03015OpenAlexW2011070286MaRDI QIDQ3070573

Bodin Skulkiat, Pimpen Vejjajiva, Mark E. Hall

Publication date: 3 February 2011

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

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

zbMATH Keywords

congruencelambda calculuscomputability relative to a structurelambda calculus with patterns

Mathematics Subject Classification ID

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

This page was built for publication: Computability Via The Lambda Calculus with Patterns