I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Interpreting higher computations as types with totality:

Kristiansen, L. ; Normann, D.
Archive for Mathematical Logic.  33 (1994)  4 - p. 243-259 , 1994
Link: https://doi.org/10.1007/bf01270624