论文信息 - Sequential data algebra primitives - 字舞流文

Sequential data algebra primitives

Jan A. Bergstra | M.P.A. Sellink

[1] J. J. van Wamel,et al. Verification Techniques for Elementary Data Types and Retransmission Protocols , 1995 .

[2] M.P.A. Sellink. Computer-Aided Verification of Protocols: the Type Theoretic Approach , 1996 .

[3] Jan A. Bergstra,et al. Equational specifications, complete term rewriting systems, and computable and semicomputable algebras , 1995, JACM.

[4] Hans Zantema,et al. Rewrite Systems for Integer Arithmetic , 1995, RTA.

[5] Jan A. Bergstra,et al. A propositional logic with 4 values: true, false, divergent and meaningless , 1995, J. Appl. Non Class. Logics.

[6] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .

[7] John McCarthy,et al. A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).

[8] Graham Hutton,et al. Back to Basics: Deriving Representation Changers Functionally , 1996, J. Funct. Program..

[9] Jan A. Bergstra,et al. Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems , 1983, SIAM J. Comput..