Set profile property. |
Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4152697 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4063606 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3906394 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3667921 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3785893 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Topoi. The categorial analysis of logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3784044 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3760508 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3727946 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algebraic specification of data types: A synthetic approach / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3992705 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5639839 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Logic and Computation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Category theory and computer programming. Tutorial and Workshop, Guildford, U.K., September 16-20, 1985. Proceedings / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Data Types as Lattices / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Category-Theoretic Solution of Recursive Domain Equations / rank | |||
Normal rank | |||
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Codatatypes in ML |
scientific article |
