THORSTEN ALTENKIRCH THORSTEN.ALTENKIRCH@NOTTINGHAM.AC.UK
Professor of Computer Science
Representations of first order function types as terminal coalgebras
Altenkirch, Thorsten
Authors
Citation
Altenkirch, T. (2001). Representations of first order function types as terminal coalgebras.
| Conference Name | TLCA 2001 |
|---|---|
| Publication Date | Jan 1, 2001 |
| Deposit Date | Oct 26, 2005 |
| Publicly Available Date | Oct 9, 2007 |
| Peer Reviewed | Peer Reviewed |
| Public URL | https://nottingham-repository.worktribe.com/output/1023151 |
Files
tlca01a.pdf
(139 Kb)
PDF
You might also like
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
(2023)
Journal Article
Constructing a universe for the setoid model
(2021)
Conference Proceeding
Big Step Normalisation for Type Theory
(2020)
Journal Article
Naive Type Theory
(2019)
Book Chapter
Towards a cubical type theory without an interval
(2018)
Journal Article
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search