A modality for recursion

Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) ◽

10.1109/lics.2000.855774 ◽

2002 ◽

Cited By ~ 22

Author(s):

H. Nakano

Download Full-text