Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 10

Results: 7

Cubical methods in homotopy type theory and univalent foundations.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1147, doi. 10.1017/S0960129521000311

By:

Mörtberg, Anders

Publication type:

Article

Special issue on homotopy type theory 2019.

Published in:

2021

By:

Licata, Dan;
Lumsdaine, Peter LeFanu

Publication type:

Editorial

Naive cubical type theory.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1205, doi. 10.1017/S096012952200007X

By:

Bentzen, Bruno

Publication type:

Article

On Church's thesis in cubical assemblies.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1185, doi. 10.1017/S0960129522000068

By:

Swan, Andrew W.;
Uemura, Taichi

Publication type:

Article

Bicategories in univalent foundations.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1232, doi. 10.1017/S0960129522000032

By:

Ahrens, Benedikt;
Frumin, Dan;
Maggesi, Marco;
Veltri, Niccolò;
van der Weide, Niels

Publication type:

Article

Synthetic topology in Homotopy Type Theory for probabilistic programming.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1301, doi. 10.1017/S0960129521000165

By:

Bidlingmaier, Martin E.;
Faissole, Florian;
Spitters, Bas

Publication type:

Article

The Scott model of PCF in univalent type theory.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 10, p. 1270, doi. 10.1017/S0960129521000153

By:

de Jong, Tom

Publication type:

Article