Decidable structures between Church-style and Curry-style

DOI10.4230/LIPICS.RTA.2013.190MaRDI QIDQ2958384zbMATH OpenOpenAlexFDO

Authors Ken-etsu Fujita, Aleksy Schubert

Publication date 1 February 2017

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2013/4062/

zbMATH Keywords

Church styleCurry stylesecond-order lambda calculustype checkingtype inference

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1302671
• Decidable Extensions of Church’s Problem
• scientific article; zbMATH DE number 4087623
• Existential type systems between Church and Curry style (type-free style)
• scientific article; zbMATH DE number 1159716
• Nonmaximal decidable structures
• scientific article; zbMATH DE number 4049000
• On decidability of list structures
• Decidability and definability with circumscription
• scientific article; zbMATH DE number 2047478

Cited in

(3)

• Existential type systems between Church and Curry style (type-free style)
• scientific article; zbMATH DE number 1759491 (Why is no real title available?)
• The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types

This page was built for publication: Decidable structures between Church-style and Curry-style

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