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
Powered by: rdOnWeb v1.4 | technical support
Powered by: rdOnWeb v1.4 | technical support