No. |
Title |
Author |
Year |
---|

1 |
The Ackermann Award 2016 |
Coquand, Thierry et al. |
2016 |

2 |
The Independence of Markov’s Principle in Type Theory |
Coquand, Thierry et al. |
2016 |

3 |
Non-Constructivity in Kan Simplicial Sets |
Bezem, Marc et al. |
2015 |

4 |
A Model of Type Theory in Cubical Sets |
Bezem, Marc et al. |
2014 |

5 |
The Ackermann Award 2012 |
Coquand, Thierry et al. |
2012 |

6 |
05021 Abstracts Collection -- Mathematics, Algorithms, Proofs |
Coquand, Thierry et al. |
2006 |

7 |
05021 Executive Summary -- Mathematics, Algorithms, Proofs |
Coquand, Thierry |
2006 |

8 |
A Nilregular Element Property |
Coquand, Thierry et al. |
2006 |