Axel Poigné On Specifications, Theories, and Models with Higher Types [Citation Graph (1, 0)][DBLP] Information and Control, 1986, v:68, n:1-3, pp:1-46 [Journal]
Axel Poigné Foundations are Rich Institutions, but Institutions are Poor Foundations. [Citation Graph (0, 0)][DBLP] Categorial Methods in Computer Science, 1988, pp:82-101 [Conf]
Axel Poigné Identity and Existence, and Types in Algebra - A Survey of Sorts. [Citation Graph (0, 0)][DBLP] COMPASS/ADT, 1992, pp:53-78 [Conf]
Axel Poigné Elements of Categorical Reasoning: Products and Coproducts and some other (Co-) Limits. [Citation Graph (0, 0)][DBLP] CTCS, 1985, pp:16-42 [Conf]
Axel Poigné An Order Semantics for Non-Deterministic Recursive Program Schemes. [Citation Graph (0, 0)][DBLP] GI Jahrestagung, 1981, pp:122-129 [Conf]
Axel Poigné Using Last Fixed Points to Characterize Formal Computations of Non-Deterministic Equations. [Citation Graph (0, 0)][DBLP] ICFPC, 1981, pp:447-459 [Conf]
Axel Poigné On effective computations of nondeterministic schemes. [Citation Graph (0, 0)][DBLP] Symposium on Programming, 1982, pp:323-336 [Conf]
Axel Poigné Higher Order Data Structures: Cartesian Closure Versus Lambda-Calculus. [Citation Graph (0, 0)][DBLP] STACS, 1984, pp:174-185 [Conf]
Axel Poigné, Josef Voss On the Implementation of Abstract Data Types by Programming Language Constructs. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1985, pp:388-402 [Conf]
Axel Poigné On algebras of computation sequences and proofs of equivalence of operational and denotational semantics. [Citation Graph (0, 0)][DBLP] Theoretical Computer Science, 1983, pp:289-300 [Conf]
Axel Poigné Parametrization for Order-Sorted Algebraic Specification. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1990, v:40, n:2, pp:229-268 [Journal]
Axel Poigné, Josef Voss On the Implementation of Abstract Data Types by Programming Language Constructs. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:340-376 [Journal]
Hagen Huwig, Axel Poigné A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:73, n:1, pp:101-112 [Journal]