Jirí Zlatuska

Transforming Specifications of Observable Behaviour into Programs

Christopher J. Hogger, David R. Gilbert, Jirí Zlatuska, 1994, LOPSTR.

Normal forms in the typed Λ-calculus with tuple types

Jirí Zlatuska, 1985, Kybernetika.

Committed-Choice Concurrent Logic Programming in Linear Logic

Jirí Zlatuska, 1993, Kurt Gödel Colloquium.

Linear Logic Semantics for Concurrent Prolog

Jirí Zlatuska, 1993, ELP.

Stepping Stones to an Information Society

Jirí Zlatuska, J. Zlatuska, 1997, SOFSEM.

Hit Data Model Data Bases from the Functional Point of View

Jirí Zlatuska, 1985, VLDB.

Data Bases and the Lambda-Calculus

Jirí Zlatuska, 1986, IFIP Congress.