No Cover Image

Journal article 1030 views 130 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

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