No label defined (Q5014806)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7441264

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

Statements

scholarly article

0 references

Antoine Allioux

0 references

publication date

8 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1701.04916

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2016.3

0 references

MaRDI profile type

MaRDI publication profile

0 references

Reversible, irreversible and optimal \(\lambda\)-machines

0 references

The differential lambda-calculus

0 references

Logical Approaches to Computational Barriers

0 references

Uniformity and the Taylor expansion of ordinary lambda-terms

0 references

The algebraic lambda calculus

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5014806

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