论文信息 - Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications - 字舞流文

Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications

[1] James W. Thatcher,et al. A Uniform Approach to Inductive Posets and Inductive Closure , 1977, MFCS.

[2] Peter Burmeister,et al. Partial algebras—survey of a unifying approach towards a two-valued model theory for partial algebras , 1982 .

[3] José Meseguer,et al. Principles of OBJ2 , 1985, POPL.

[4] Axel Poigné. Error Handling for Parameterized Data Types , 1984, ADT.

[5] Jean-Pierre Jouannaud,et al. Operational Semantics for Order-Sorted Algebra , 1985, ICALP.

[6] D. Scott. Identity and existence in intuitionistic logic , 1979 .

[7] Samson Abramsky,et al. Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings , 1986, CTCS.

[8] Axel Poigné. Another Look at Parameterization Using Algebras with Subsorts , 1984, MFCS.

[9] P. Burmeister. A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[10] John Cartmell,et al. Generalised algebraic theories and contextual categories , 1986, Ann. Pure Appl. Log..

[11] Peter Freyd. Aspects of topoi: Corrigenda and acknowledgements , 1972, Bulletin of the Australian Mathematical Society.

[12] Hartmut Ehrig,et al. Parameter Passing in Algebraic Specification Languages , 1984, Theor. Comput. Sci..

[13] Axel Poigné,et al. On Specifications, Theories, and Models with Higher Types , 1986, Inf. Control..