Contextual Modal Type Theory with Polymorphic Contexts

Saved in:
Bibliographic Details
Published inLecture notes in computer science Vol. 13990
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2023
Online AccessGet full text
ISBN3031300432
9783031300431
ISSN1611-3349
0302-9743
DOI10.1007/978-3-031-30044-8_11

Cover

More Information
ISBN:3031300432
9783031300431
ISSN:1611-3349
0302-9743
DOI:10.1007/978-3-031-30044-8_11