No label defined (Q5111320)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7204443

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7204443

Statements

scholarly article

0 references

0 references

0 references

publication date

26 May 2020

0 references

zbMATH Keywords

lambda-mu-calculus

0 references

classical logic

0 references

intersection types

0 references

normalization

0 references

MaRDI profile type

MaRDI publication profile

0 references

A nonstandard standardization theorem

0 references

The Structural λ-Calculus

0 references

0 references

Classical Call-by-Need and Duality

0 references

Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types

0 references

Non-idempotent intersection types and strong normalisation

0 references

The Inhabitation Problem for Non-idempotent Intersection Types

0 references

Strong normalization through intersection types and memory

0 references

A new type assignment for λ-terms

0 references

An extension of basic functionality theory for \(\lambda\)-calculus

0 references

The duality of computation

0 references

A short proof of the strong normalization of classical natural deduction with disjunction

0 references

A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization

0 references

Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1--3, 2014. Proceedings

0 references

Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage

0 references

0 references

0 references

0 references

0 references

Reasoning About Call-by-need by Means of Types

0 references

Quantitative Types for the Linear Substitution Calculus

0 references

A Resource Aware Computational Interpretation for Herbelin’s Syntax

0 references

0 references

A linearization of the Lambda-calculus and consequences

0 references

A Translation of Intersection and Union Types for the λμ-Calculus

0 references

0 references

Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1--3, 2011. Proceedings

0 references

0 references

Classical By-Need

0 references

Control categories and duality: on the categorical semantics of the lambda-mu calculus

0 references

The emptiness problem for intersection types

0 references

Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)

0 references

A Filter Model for the λμ-Calculus

0 references

0 references

Convolution $\bar\lambda\mu$ -Calculus

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

10.4230/LIPICS.FSCD.2017.24

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5111320

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5111320&oldid=39533960"