Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Dybjer:1996:RID, author = "Peter Dybjer", title = "Representing inductively defined sets by wellorderings in {Martin-L{\"o}f}'s type theory", journal = j-THEOR-COMP-SCI, volume = "170", number = "1--2", pages = "245--276", day = "15", month = dec, year = "1996", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Mon Jul 19 22:20:31 MDT 1999", bibsource = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_free/browse/browse.cgi?year=1996&volume=170&issue=1-2; http://www.math.utah.edu/pub/tex/bib/tcs1995.bib", URL = "http://www.elsevier.com/cgi-bin/cas/tree/store/tcs/cas_sub/browse/browse.cgi?year=1996&volume=170&issue=1-2&aid=2348", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", xxnote = "Check page numbers: duplicate at Web site", }