zweidimensionales bewegtes Bild
Untyped Linear Lambda Calculus and the Combinatorics of 3-valent Graphs
- Standort
-
Hannover TIB
- Umfang
-
107MB, 00:55:06:03 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Combinatorics and Arithmetic for Physics (CAP7 20) ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
Institut des Hautes Études Scientifiques (IHÉS)
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Zeilberger, Noam
Duchamp, Gérard Henry Edmond (Organiser)
Kontsevich, Maxim (Organiser)
Koshevoy, Gleb (Organiser)
Ngoc Minh, Hoang Vincel (Organiser)
- DOI
-
10.5446/51301
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- 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)
Entstanden
- 2021-01-01
Ähnliche Objekte (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