Programming language semantics in modal type theories
Year: 2024
Type: other
Author: Stassen, Philipp Jan Andries
Institution: Aarhus University
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4412221272