Suchergebnisse - ANGIULI, CARLO

1

A Cubical Language for Bishop Sets von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

The RedPRL Proof Assistant (Invited Paper) von Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Meaning explanations at higher dimension von Angiuli, Carlo, Harper, Robert

Veröffentlicht in Indagationes mathematicae

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Internalizing representation independence with univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Syntax and models of Cartesian cubical type theory von Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

An Order-Theoretic Analysis of Universe Polymorphism von Hou (Favonia), Kuen-Bang, Angiuli, Carlo, Mullanix, Reed

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Homotopical patch theory von ANGIULI, CARLO, MOREHOUSE, EDWARD, LICATA, DANIEL R., HARPER, ROBERT

Veröffentlicht in Journal of functional programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Normalization for Cubical Type Theory von Sterling, Jonathan, Angiuli, Carlo

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A Cubical Language for Bishop Sets von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Automatically Splitting a Two-Stage Lambda Calculus von Feltman, Nicolas, Angiuli, Carlo, Acar, Umut A., Fatahalian, Kayvon

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Controlling unfolding in type theory von Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo, Coquand, Thierry, Birkedal, Lars

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Computational higher-dimensional type theory von Angiuli, Carlo, Harper, Robert, Wilson, Todd

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Computational Higher Type Theory II: Dependent Cubical Realizability von Angiuli, Carlo, Harper, Robert

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Cubical Syntax for Reflection-Free Extensional Equality von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Internalizing Representation Independence with Univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Computational Higher Type Theory III: Univalent Universes and Exact Equality von Angiuli, Carlo, Hou, Kuen-Bang, Harper, Robert

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Controlling unfolding in type theory von Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo, Coquand, Thierry, Birkedal, Lars

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Computational Higher Type Theory II: Dependent Cubical Realizability von Angiuli, Carlo, Harper, Robert

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Computational Higher Type Theory I: Abstract Cubical Realizability von Angiuli, Carlo, Harper, Robert, Wilson, Todd

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Internalizing Representation Independence with Univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

A Cubical Language for Bishop Sets von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

The RedPRL Proof Assistant (Invited Paper) von Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan

Meaning explanations at higher dimension von Angiuli, Carlo, Harper, Robert

Internalizing representation independence with univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Syntax and models of Cartesian cubical type theory von Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.

An Order-Theoretic Analysis of Universe Polymorphism von Hou (Favonia), Kuen-Bang, Angiuli, Carlo, Mullanix, Reed

Homotopical patch theory von ANGIULI, CARLO, MOREHOUSE, EDWARD, LICATA, DANIEL R., HARPER, ROBERT

Normalization for Cubical Type Theory von Sterling, Jonathan, Angiuli, Carlo

A Cubical Language for Bishop Sets von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

Automatically Splitting a Two-Stage Lambda Calculus von Feltman, Nicolas, Angiuli, Carlo, Acar, Umut A., Fatahalian, Kayvon

Controlling unfolding in type theory von Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo, Coquand, Thierry, Birkedal, Lars

Computational higher-dimensional type theory von Angiuli, Carlo, Harper, Robert, Wilson, Todd

Computational Higher Type Theory II: Dependent Cubical Realizability von Angiuli, Carlo, Harper, Robert

Cubical Syntax for Reflection-Free Extensional Equality von Sterling, Jonathan, Angiuli, Carlo, Gratzer, Daniel

Internalizing Representation Independence with Univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Computational Higher Type Theory III: Univalent Universes and Exact Equality von Angiuli, Carlo, Hou, Kuen-Bang, Harper, Robert

Controlling unfolding in type theory von Gratzer, Daniel, Sterling, Jonathan, Angiuli, Carlo, Coquand, Thierry, Birkedal, Lars

Computational Higher Type Theory II: Dependent Cubical Realizability von Angiuli, Carlo, Harper, Robert

Computational Higher Type Theory I: Abstract Cubical Realizability von Angiuli, Carlo, Harper, Robert, Wilson, Todd

Internalizing Representation Independence with Univalence von Angiuli, Carlo, Cavallo, Evan, Mörtberg, Anders, Zeuner, Max

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle