CHAD for Expressive Total Languages (Journal Article)

<Specific Information> <Reference List>
Type: Journal Article
National /International: International
Title: CHAD for Expressive Total Languages
Publication Date: 2023
Authors: - Fernando Lucatelli Nunes
- Matthijs Vákár
Journal Name: Mathematical Structures in Computer Science
Volume: 33
Number: 4-5
Pages: 311-426
Download: Not available
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support