An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Hi-index | 0.00 |