Realizability interpretation of generalized inductive definitions

Authors:
Satoshi Kobayashi;Makoto Tatsuta
Affiliations:
-;-
Venue:
Theoretical Computer Science
Year:
1994

Citing 0
Cited 2

A Modality for Recursion

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
A new translation for semi-classical theories: backtracking without CPS

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming

Quantified Score

Hi-index	5.23

Visualization

Abstract