Intersection Typed λ-calculus (Q2842843)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Intersection Typed λ-calculus	scientific article

Statements

scholarly article

0 references

Intersection Typed λ-calculus (English)

0 references

Electronic Notes in Theoretical Computer Science

0 references

publication date

16 August 2013

0 references

Simonetta Ronchi della Rocca

0 references

MaRDI profile type

MaRDI publication profile

0 references

The lambda calculus. Its syntax and semantics. Rev. ed.

0 references

Perturbative renormalization of moments of quark momentum, helicity and transversity distributions with overlap and Wilson fermions

0 references

Hyperformulae, Parallel Deductions and Intersection Types

0 references

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

0 references

Coppo-Dezani types do not correspond to propositional logic

0 references

0 references

0 references

Complete restrictions of the intersection type discipline

0 references

Intersection Types as Logical Formulae

0 references

A calculus with polymorphic and polyvariant flow types

0 references

Identifiers

zbMATH Open document ID

0 references

10.1016/S1571-0661(04)80496-1

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2842843

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