A realizability semantics for the calculus of partial inductive definitions

title

author

Uustalu, Tarmo

description

Research Report Math 23/90

publishing year

1990

identifier

http://digi.lib.ttu.ee/i/?12010

language

eng

rights

http://rightsstatements.org/vocab/InC-EDU/1.0/

institution