Thomas Ehrhard. Dictoses. In David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné, editors, Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings. Volume 389 of Lecture Notes in Computer Science, pages 213-223, Springer, 1989.
@inproceedings{Ehrhard89,
title = {Dictoses},
author = {Thomas Ehrhard},
year = {1989},
researchr = {https://researchr.org/publication/Ehrhard89},
cites = {0},
citedby = {0},
pages = {213-223},
booktitle = {Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings},
editor = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poigné},
volume = {389},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51662-X},
}