1![Modelling Cubical Type Theory in Agda Modelling Cubical Type Theory in Agda](https://www.pdfsearch.io/img/5e485b9c97d3ecf549b26ebfcc583fbb.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-06-30 09:21:07
|
---|
2![Auto in Agda joint work with Pepijn Kokke APLS Frankfurt, December 2015
Per Martin-Löf Auto in Agda joint work with Pepijn Kokke APLS Frankfurt, December 2015
Per Martin-Löf](https://www.pdfsearch.io/img/589d8ea3b6c3416ce3cf3ea26add288d.jpg) | Add to Reading ListSource URL: proglang.informatik.uni-freiburg.de- Date: 2017-10-04 11:31:53
|
---|
3![Adding Cubes to Agda Andrea Vezzosi June 29, 2017 Adding Cubes to Agda Andrea Vezzosi June 29, 2017](https://www.pdfsearch.io/img/92da7ba3aa7e5c602cc7a11a01604a7f.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|
4![Custom definitional equalities in Agda Guillaume Brunerie Université de Nice/Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin Custom definitional equalities in Agda Guillaume Brunerie Université de Nice/Institute for Advanced Study July 14, 2015 ICMS 2016, Berlin](https://www.pdfsearch.io/img/2faaefa3b0ee854ae8801cf93da736ff.jpg) | Add to Reading ListSource URL: www.math.ias.edu- Date: 2016-07-30 01:41:10
|
---|
5![An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson An Agda Formalisation of the Transitive Closure of Block Matrices (Extended Abstract) Adam Sandberg Eriksson Patrik Jansson](https://www.pdfsearch.io/img/654fadf2652ccba4715faf66f86bf05e.jpg) | Add to Reading ListSource URL: www.cse.chalmers.se- Date: 2016-08-31 03:04:28
|
---|
6![bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@ bイオウウ・ャウL@SP@o」エッ「・イ@RPQU cost@PUUOQU decision sオ「ェ・」エZ@](https://www.pdfsearch.io/img/d45d2f4f0f01306aba4e38316095e2d3.jpg) | Add to Reading ListSource URL: w3.cost.euLanguage: English - Date: 2015-11-12 17:02:31
|
---|
7![The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations](https://www.pdfsearch.io/img/6733ff22c3c05b30fff34064f0b41a07.jpg) | Add to Reading ListSource URL: math.andrej.comLanguage: English - Date: 2016-07-28 09:19:23
|
---|
8![A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam A BI-DIRECTIONAL REFINEMENT ALGORITHM FOR THE CALCULUS OF (CO)INDUCTIVE CONSTRUCTIONS ANDREA ASPERTI, WILMER RICCIOTTI, CLAUDIO SACERDOTI COEN, AND ENRICO TASSI Dipartimento di Scienze dell’informazione, Mura Anteo Zam](https://www.pdfsearch.io/img/317e45d1ecbcc1ffcd354a9ace15ddeb.jpg) | Add to Reading ListSource URL: matita.cs.unibo.itLanguage: English - Date: 2012-02-14 06:55:29
|
---|
9![ad.agda GmbH | AGB „Worldwide Inkasso“ | StandAllgemeine Vertragsbedingungen für das Leistungsportfolio „Worldwide Inkasso“ der ad.agda GmbH 1. Vertragsgegenstand ad.agda GmbH | AGB „Worldwide Inkasso“ | StandAllgemeine Vertragsbedingungen für das Leistungsportfolio „Worldwide Inkasso“ der ad.agda GmbH 1. Vertragsgegenstand](https://www.pdfsearch.io/img/1ba668dbea0a8e50c063b73e22ea9419.jpg) | Add to Reading ListSource URL: worldwide-inkasso.deLanguage: German - Date: 2015-04-30 07:19:39
|
---|
10![Auto in Agda joint work with Pepijn Kokke MPC 2015 Königswinter
Per Martin-Löf Auto in Agda joint work with Pepijn Kokke MPC 2015 Königswinter
Per Martin-Löf](https://www.pdfsearch.io/img/5e08ddde360a203b314a12b853eb0e17.jpg) | Add to Reading ListSource URL: www.staff.science.uu.nlLanguage: English - Date: 2016-03-22 06:34:53
|
---|