Search Results - "Primitive recursion" :: K.UTB vyhledávací portál

Loading…

Monotone (co)inductive types and positive fixed-point types

by Matthes, Ralph
Published in RAIRO. Informatique théorique et applications (01.07.1999)

Get full text

Journal Article Conference Proceeding

Loading…

by Krebbers, Robbert
Published in Electronic proceedings in theoretical computer science (09.10.2012)

Get full text

Journal Article

Loading…

by Krebbers, Robbert
Published in arXiv.org (11.10.2012)

Get full text

Paper Journal Article

Loading…

by Hartimo, Mirja
Published in The New Yearbook for Phenomenology and Phenomenological Philosophy (2013)

Get full text

Book Chapter