No Cover Image

Journal article 852 views 157 downloads

Indexed induction–recursion

Peter Dybjer, Anton Setzer Orcid Logo

The Journal of Logic and Algebraic Programming, Volume: 66, Issue: 1, Start page: 1

Swansea University Author: Anton Setzer Orcid Logo

Published in: The Journal of Logic and Algebraic Programming
ISSN: 1567-8326
Published: 2006
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
Start Page: 1