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

LF in LF : mechanizing the metatheories of LF in twelf:

, In: Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice,
Martens, Chris ; Crary, Karl - p. 23-32 , 2012
Link: https://dl.acm.org/doi/10.1145/2364406.2364410