Ingrid Lindström

According to our database, Ingrid Lindström authored at least 3 papers between 1987 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Mathematical theory of domains.

Viggo Stoltenberg-Hansen, Ingrid Lindström, Edward R. Griffor

Cambridge tracts in theoretical computer science 22, Cambridge University Press, ISBN: 978-0-521-38344-8, 1994

1989

A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory.

Ingrid Lindström

J. Symb. Log., 1989

1987

Degrees of Souslin And Aronszajn Trees.

Ingrid Lindström

Math. Log. Q., 1987