6 treff

Overview of available TINA documents and specifications
Lill Kristiansen
Bok Engelsk 1998 · Les boka på nett
Total objects in inductivly defined types★
Kristiansen, Lill
Bok Engelsk 1995
Totality in qualitative domains
Lill Kristiansen
Bok Engelsk 1993 · Les boka på nett
Interpreting higher computations as types with totality
by Lill Kristiansen and Dag Normann
Bok Engelsk 1992
Regular languages and minimal saturated automata
Kristiansen, Lill
Bok Språk ikke angitt 1986
Saturated automata applied to the star height problem
Lill Kristiansen
Bok Språk ikke angitt 1986