Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The HoTT Library: A formalization of homotopy type theory in Coq.

A. Bauer, J. Gross, P. Lumsdaine, M. Shulman, M. Sozeau, and B. Spitters. CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ruben Bauer University of Stuttgart

GraspME : Grasp Manifold EstimatorJ. Hager, R. Bauer, M. Toussaint, and J. Mainprice. 2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN), page 626-632. Piscataway, IEEE, (2021)

Marcel Bauer University of Stuttgart

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Univ. -Prof. Dr. -Ing. Thomas Bauernhansl University of Stuttgart

Exoskeletons Towards Industrie 4.0 : Benefits and Challenges of the IoT Communication ArchitectureN. Bances Purizaca, U. Schneider, J. Siegert, and T. Bauernhansl. International Conference on Industry 4.0 and Smart Manufacturing (ISM 2019), 42, page 49-56. Elsevier, (2020)

Apl. Prof. Dr. -Ing. Frank Bauer University of Stuttgart

Other publications of authors with the same name

A constructive theory of continuous domains suitable for implementation.A. Bauer, and I. Kavkler. Ann. Pure Appl. Logic, 159 (3): 251-267 (2009)Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.A. Bauer, and A. Simpson. Math. Log. Q., 50 (4-5): 351-369 (2004)First Steps in Synthetic Computability Theory.A. Bauer. Electr. Notes Theor. Comput. Sci., (2006)On the failure of fixed-point theorems for chain-complete lattices in the effective topos.A. Bauer. Theor. Comput. Sci., (2012)Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions.A. Bauer, and J. Blanck. J. UCS, 16 (18): 2496-2522 (2010)The HoTT Library: A formalization of homotopy type theory in Coq.A. Bauer, J. Gross, P. Lumsdaine, M. Shulman, M. Sozeau, and B. Spitters. CoRR, (2016)Comparing Functional Paradigms for Exact Real-Number Computation.A. Bauer, M. Escardó, and A. Simpson. ICALP, volume 2380 of Lecture Notes in Computer Science, page 488-500. Springer, (2002)The HoTT library: a formalization of homotopy type theory in Coq.A. Bauer, J. Gross, P. Lumsdaine, M. Shulman, M. Sozeau, and B. Spitters. CPP, page 164-172. ACM, (2017)RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice.A. Bauer, and C. Stone. CiE, volume 4497 of Lecture Notes in Computer Science, page 28-42. Springer, (2007)An Effect System for Algebraic Effects and Handlers.A. Bauer, and M. Pretnar. CALCO, volume 8089 of Lecture Notes in Computer Science, page 1-16. Springer, (2013)