Soundness conditions for big-step semantics (English)
Conference/Talk
- New search for: Dagnino, Francesco
- New search for: Dagnino, Francesco
- New search for: Zucca, Elena
- New search for: Bono, Viviana
- New search for: Dezani-Ciancaglini, Mariangiola
2021
- Audio-visual / Audio-visual
Preview
-
Title:Soundness conditions for big-step semantics
-
Subtitle:Conference/Talk
-
Contributors:
-
Published in:
-
Publisher:
-
Publication date:2021-01-01
-
Size:108MB, 00:14:46:02
-
DOI:
-
Type of media:Audio-visual
-
Type of material:Audio-visual
-
Language:English
-
Keywords:
-
Licence:
-
Source: