%0 Thesis %1 phd/dnb/Streicher89 %A Streicher, Thomas %D 1989 %K %T Correctness and completeness of a categorical semantics of the calculus of constructions.

@phdthesis{phd/dnb/Streicher89, added-at = {2023-12-13T07:00:43.000+0100}, author = {Streicher, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/26dd4513b0755979e27941a6814f227bf/admin}, ee = {http://d-nb.info/900154144}, interhash = {b44b1f1cc6b2d3862469a030db8f5307}, intrahash = {6dd4513b0755979e27941a6814f227bf}, keywords = {}, school = {University of Passau, Germany}, timestamp = {2023-12-13T07:00:43.000+0100}, title = {Correctness and completeness of a categorical semantics of the calculus of constructions.}, year = 1989 }