| Publication | Date of Publication | Type |
|---|
Applications of type theory
Lecture Notes in Computer Science | 2022-11-02 | Paper |
A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
| \(\varepsilon\)-style (of) semantics. An alternative to set-theoretic modelling | 2011-03-25 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
| scientific article; zbMATH DE number 2012390 (Why is no real title available?) | 2003-12-15 | Paper |
| scientific article; zbMATH DE number 2013197 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1988958 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1609607 (Why is no real title available?) | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1860657 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860656 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1260274 (Why is no real title available?) | 1999-03-10 | Paper |
| scientific article; zbMATH DE number 67974 (Why is no real title available?) | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 44486 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 3888893 (Why is no real title available?) | 1985-01-01 | Paper |
Characterizing specification languages which admit initial semantics
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3904794 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3885307 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3827186 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3845096 (Why is no real title available?) | 1982-01-01 | Paper |
Algebraic implementation of abstract data types
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3776840 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3795354 (Why is no real title available?) | 1982-01-01 | Paper |
Complexity of algebraic implementations for abstract data types
Journal of Computer and System Sciences | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3711407 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3761404 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3690670 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3716809 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3703986 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3618193 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3601109 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3685448 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3557237 (Why is no real title available?) | 1976-01-01 | Paper |
