Eintrag weiter verarbeiten
Safety and conservativity of definitions in HOL and Isabelle/HOL
Gespeichert in:
Zeitschriftentitel: | Proceedings of the ACM on Programming Languages |
---|---|
Personen und Körperschaften: | , |
In: | Proceedings of the ACM on Programming Languages, 2, 2018, POPL, S. 1-26 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Association for Computing Machinery (ACM)
|
Schlagwörter: |