An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
An encoding of the $$\lambda $$ λ -calculus in the String MultiSet Rewriting calculus ; volume:61 ; number:2 ; day:13 ; month:3 ; year:2024 ; pages:161-181 ; date:6.2024
Acta informatica ; 61, Heft 2 (13.3.2024), 161-181, 6.2024
- Creator
-
Bagossy, Attila
Battyányi, Péter
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00236-024-00456-w
- URN
-
urn:nbn:de:101:1-2407240758267.961498085296
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:57 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Bagossy, Attila
- Battyányi, Péter
- SpringerLink (Online service)
Other Objects (12)
Constrained lambda calculus
Dynamic Lambda Calculus
Solving the SAT problem with the string multiset rewriting calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Constrained lambda calculus
Dynamic Lambda Calculus
Solving the SAT problem with the string multiset rewriting calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
A constructive domain model of polymorphic lambda calculus
Polymorphic lambda calculus with context-free session types
Constrained lambda calculus
Dynamic Lambda Calculus
Solving the SAT problem with the string multiset rewriting calculus
The overtyped lambda calculus
Category theory and the simply typed λ-calculus [lambda-calculus]
Binary lambda calculus and combinatory logic
Abstract computing machines : a Lambda calculus perspective
Standard models of the overtyped lambda-calculus
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
A constructive domain model of polymorphic lambda calculus