%0 Thesis %1 phd/us/Swarup92 %A Swarup, Vipin %D 1992 %K dblp %T Type Theoretic Properties of Assignments

@phdthesis{phd/us/Swarup92, added-at = {2023-09-14T00:00:00.000+0200}, author = {Swarup, Vipin}, biburl = {https://www.bibsonomy.org/bibtex/2551bac3badf187f5bb37193085eec594/dblp}, ee = {https://hdl.handle.net/2142/72060}, interhash = {c2ea6eaefce8cd2d3f49a76a4e7ca8cd}, intrahash = {551bac3badf187f5bb37193085eec594}, keywords = {dblp}, school = {University of Illinois Urbana-Champaign, USA}, timestamp = {2024-04-09T08:02:09.000+0200}, title = {Type Theoretic Properties of Assignments}, year = 1992 }