scientific article; zbMATH DE number 7204434

DOI10.4230/LIPICS.FSCD.2017.15zbMATH Open1434.03050MaRDI QIDQ5111311FDOQ5111311

Authors: Andrej Dudenhefner, Jakob Rehof 

Publication date: 26 May 2020

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

Recommendations

• scientific article; zbMATH DE number 2185726
• PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
• Counting a type's (principal) inhabitants

zbMATH Keywords

complexitytype theorylambda calculusinhabitationprincipal typesimple types

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Combinatory logic and lambda calculus (03B40)

Cites Work

• Title not available (Why is that?)
• On Long Normal Inhabitants of a Type
• Intuitionistic propositional logic is polynomial-space complete
• Title not available (Why is that?)
• Title not available (Why is that?)
• IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE
• Intersection type calculi of bounded dimension
• Title not available (Why is that?)
• Title not available (Why is that?)
• Staged Composition Synthesis

Cited In (4)

• Title not available (Why is that?)
• PRINCIPAL TYPE ASSIGNMENT TO LAMBDA TERMS
• Title not available (Why is that?)
• Counting a type's (principal) inhabitants

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 Q5111311)