Professor 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. Representations of first order function types as terminal coalgebras. Presented at TLCA 2001
| 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
The Münchhausen Method in Type Theory
(2023)
Journal Article
Combinatory logic and lambda calculus are equal, algebraically
(2023)
Presentation / Conference Contribution
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
(2023)
Journal Article
Big Step Normalisation for Type Theory
(2020)
Presentation / Conference Contribution
The Integers as a Higher Inductive Type
(2020)
Presentation / Conference Contribution
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@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 © 2025
Advanced Search