scientific article; zbMATH DE number 6923849

zbMATH Open1393.03006MaRDI QIDQ4581178

George Koletsos, George Stavrinos

Publication date: 23 August 2018

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Statistical properties of simple types

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Simple types in discretely ordered structures 👍 👎
• Types and invariants in the refinement calculus 👍 👎
• On strict and simple type extensions 👍 👎
• Syntactical and semantical properties of simple type theory 👍 👎
• Counting partial types in simple theories 👍 👎
• Remarks on Isomorphisms of Simple Inductive Types 👍 👎
• Decidability of Several Concepts of Finiteness for Simple Types 👍 👎
• Formalising Mathematics in Simple Type Theory 👍 👎

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