Old Web
English
Sign In
Acemap
>
Paper
>
Revised ACT ONE: categorical constructions for an algebraic specification language
Revised ACT ONE: categorical constructions for an algebraic specification language
1989
I. Classen
Keywords:
Categorical logic
Algebraic specification
Categorical variable
Specification language
Natural language processing
Programming language
Artificial intelligence
Mathematics
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]