No Cover Image

Journal article 736 views 106 downloads

Induction–recursion and initial algebras

Peter Dybjer, Anton Setzer Orcid Logo

Annals of Pure and Applied Logic, Volume: 124, Issue: 1-3, Pages: 1 - 47

Swansea University Author: Anton Setzer Orcid Logo

Published in: Annals of Pure and Applied Logic
ISSN: 01680072
Published: 2003
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa1731
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Issue: 1-3
Start Page: 1
End Page: 47