A typed parallel lambda-calculus via 1-depth intermediate proofs

Francesco Antonio Genco
Francesco Antonio Genco

LPAR, pp. 68-89, 2020.

Cited by: 0|Bibtex|Views0|Links
EI

Code:

Data:

Your rating :
0

 

Tags
Comments