Implicit Programming and the Logic of Constructible Duality - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Anna Patterson. Implicit Programming and the Logic of Constructible Duality. PhD thesis, University of Illinois Urbana-Champaign, USA, 1998. [doi]

@phdthesis{us-9033,
  title = {Implicit Programming and the Logic of Constructible Duality},
  author = {Anna Patterson},
  year = {1998},
  url = {https://hdl.handle.net/2142/81912},
  researchr = {https://researchr.org/publication/us-9033},
  cites = {0},
  citedby = {0},
  school = {University of Illinois Urbana-Champaign, USA},
}

runs on WebDSL