Non-determinism, Non-termination and the Strong Normalization of System T

TLCA, pp. 31-47, 2013.

Cited by: 10|Bibtex|Views2|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments