Sikkel: Multimode Simple Type Theory as an Agda Library
-
Published:2022-06-30
Issue:
Volume:360
Page:93-112
-
ISSN:2075-2180
-
Container-title:Electronic Proceedings in Theoretical Computer Science
-
language:en
-
Short-container-title:Electron. Proc. Theor. Comput. Sci.
Author:
Ceulemans Joris1,
Nuyts Andreas1,
Devriese Dominique1
Publisher
Open Publishing Association
Subject
Psychiatry and Mental health