CHAD for Expressive Total Languages
     (Journal Article)
<Overall Information>
Journal Name: Mathematical Structures in Computer Science
Doi: 10.1017/S096012952300018X
Volume: 33
Number: 4-5
Pages: 311-426
Revision: No
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support