## Christine Mohring

*Algorithm Development in the Calculus of Constructions*

LICS, 1986.

@inproceedings{LICS-1986-Mohring, author = "Christine Mohring", booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}", isbn = "0-8186-0720-3", pages = "84--91", publisher = "{IEEE Computer Society}", title = "{Algorithm Development in the Calculus of Constructions}", year = 1986, }