Merkliste 
 1 Ergebnisse 
 
1

First-class nonstandard interpretations by opening closures:

, In: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,