Type Theoretic Properties of Assignments - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Vipin Swarup. Type Theoretic Properties of Assignments. PhD thesis, University of Illinois Urbana-Champaign, USA, 1992. [doi]

@phdthesis{us-8666,
  title = {Type Theoretic Properties of Assignments},
  author = {Vipin Swarup},
  year = {1992},
  url = {https://hdl.handle.net/2142/72060},
  researchr = {https://researchr.org/publication/us-8666},
  cites = {0},
  citedby = {0},
  school = {University of Illinois Urbana-Champaign, USA},
}

runs on WebDSL