zweidimensionales bewegtes Bild
Untyped Linear Lambda Calculus and the Combinatorics of 3-valent Graphs
- Location
-
Hannover TIB
- Extent
-
107MB, 00:55:06:03 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Combinatorics and Arithmetic for Physics (CAP7 20) ; (Jan. 2021)
- Event
-
Veröffentlichung
- (who)
-
Institut des Hautes Études Scientifiques (IHÉS)
- (when)
-
2021-01-01
- Contributor
-
Zeilberger, Noam
Duchamp, Gérard Henry Edmond (Organiser)
Kontsevich, Maxim (Organiser)
Koshevoy, Gleb (Organiser)
Ngoc Minh, Hoang Vincel (Organiser)
- DOI
-
10.5446/51301
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Zeilberger, Noam
- Duchamp, Gérard Henry Edmond (Organiser)
- Kontsevich, Maxim (Organiser)
- Koshevoy, Gleb (Organiser)
- Ngoc Minh, Hoang Vincel (Organiser)
- Institut des Hautes Études Scientifiques (IHÉS)
Time of origin
- 2021-01-01
Other Objects (12)
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Combinatorics and graph theory
Combinatorics and Graph Theory
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
A constructive domain model of polymorphic lambda calculus
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Combinatorics and graph theory
Combinatorics and Graph Theory
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective
A constructive domain model of polymorphic lambda calculus
Dynamic Lambda Calculus
Constrained lambda calculus
The overtyped lambda calculus
Combinatorics and graph theory
Combinatorics and Graph Theory
Binary lambda calculus and combinatory logic
Category theory and the simply typed λ-calculus [lambda-calculus]
A Coloured Version of the Lambda-Calculus
Label dependent lambda calculus and gradual typing
Standard models of the overtyped lambda-calculus
Abstract computing machines : a Lambda calculus perspective