nLab Andreas Abel

Redirected from "degeneration conjecture".
Note: degeneration of Hodge to de Rham spectral sequence and degeneration of Hodge to de Rham spectral sequence both redirect for "degeneration conjecture".

Selected writings

Andreas Abel is a Senior Lecturer in the Programming Logic Group, Divison of Computer Science, Department of Computer Science and Engineering at Gothenburg University/Chalmers, a Senior Developer of the dependently-typed language Agda, and the Maintainer of the Backus–Naur-Form Compiler (BNFC).

Homepage

Selected writings

Introducing the programming language Cubical Agda implementing univalent cubical homotopy type theory with higher inductive types:

Andrea Vezzosi, Anders Mörtberg, Andreas Abel, Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types, Proceedings of the ACM on Programming Languages 3 ICFP 87 (2019) 1–29 [doi:10.1145/3341691, pdf]

category: people

Last revised on December 26, 2022 at 22:57:27. See the history of this page for a list of all contributions to it.