Klaus Grue

According to our database, Klaus Grue authored at least 8 papers between 1989 and 2016.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2016

A synthetic axiomatization of Map Theory.

Chantal Berline, Klaus Grue

Theor. Comput. Sci., 2016

2007

The Layers of Logiweb.

Klaus Grue

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Logiweb - A System for Web Publication of Mathematics.

Klaus Grue

Proceedings of the Mathematical Software, 2006

2003

Logiweb.

Klaus Grue

Proceedings of the Mathematical Knowledge Management Symposium, 2003

2002

Dedekind completion as a method for constructing new Scott domains.

Klaus Grue

Proceedings of the Computing: the Australasian Theory Symposium, 2002

1999

A kappa-Denotational Semantics for Map Theory in ZFC+SI.

Chantal Berline, Klaus Grue

Theor. Comput. Sci., 1999

1992

Map Theory.

Klaus Grue

Theor. Comput. Sci., 1992

1989

Arrays in Pure Functional Programming Languages.

Klaus Grue

LISP Symb. Comput., 1989