Implementing type theory in higher order constraint logic programming (Q5236551)
From MaRDI portal
scientific article; zbMATH DE number 7114852
Language | Label | Description | Also known as |
---|---|---|---|
English | Implementing type theory in higher order constraint logic programming |
scientific article; zbMATH DE number 7114852 |
Statements
Implementing type theory in higher order constraint logic programming (English)
0 references
9 October 2019
0 references