MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Kent Petersson" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Program Derivation in Type Theory: A Partitioning Problem
by Kent Petersson, Jan M. Smith — 1986 — Computer Languages
…Program Derivation in Type Theory: A Partitioning Problem Kent Petersson Jan M. Smith…
Cited by 2 (0 self) – Add To MetaCart

A Set Constructor for Inductive Sets in Martin-Lof's Type Theory
by Kent Petersson Dan, Dan Synek — 1989 — In Category Theory and Computer Science
…A Set Constructor for Inductive Sets in Martin-Lof's Type Theory Kent Petersson Dan Synek 1…
Add To MetaCart

Proceedings Of The 1992 Workshop On Types For Proofs And Programs
by Bengt Nordström, Kent Petersson, Gordon Plotkin (eds.), Gordon Plotkin — 1992
… Nordstrom, Kent Petersson and Gordon Plotkin 2 Contents Foreword…
Add To MetaCart

PROCEEDINGS OF THE 1992 WORKSHOP ON TYPES FOR PROOFS AND PROGRAMS Bastad
by June Eds Bengt, Bengt Nordstrom, Kent Petersson, Gordon Plotkin
… Nordstrom, Kent Petersson and Gordon Plotkin Contents Foreword…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB