Representations of first order function types as terminal coalgebras

Tools

Altenkirch, Thorsten (2001) Representations of first order function types as terminal coalgebras. In: TLCA 2001.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
RIS ID: https://nottingham-repository.worktribe.com/output/1023151
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Altenkirch, Thorsten
Date Deposited: 26 Oct 2005
Last Modified: 04 May 2020 20:32
URI: https://eprints.nottingham.ac.uk/id/eprint/218

Actions (Archive Staff Only)

Edit View Edit View