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

Formalizing a strong normalization proof for Moggi's comput..:

, In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice,
Doczkal, Christian ; Schwinghammer, Jan - p. 57-63 , 2009
Link: https://dl.acm.org/doi/10.1145/1577824.1577834