Preview
Unable to display preview. Download preview PDF.
References
A. Burroni, Conférence (non-publiée) aux journées d'études E.L.I.T., 27 juin-2 juillet 1988.
A. Burroni, Le problème des mots dans les ∞-catégories, Preprint (1991)
P.L. Curien, Substitution up to isomorphisms, Actes des journées d'études E.L.I.T., 27 juin-2 juillet 1998, Diagrammes vol. 23 (1990), 43–66.
Y. Lafont, Private communication.
W. Lawvere, Functorial semantics of algebraic theories, Dissertation, Columbia University (1963).
R. Street, The algebra of oriented simplexes, J.P.A.A. 43 (1986) 235–242
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burroni, A. (1991). Higher dimensional word problem. In: Pitt, D.H., Curien, PL., Abramsky, S., Pitts, A.M., Poigné, A., Rydeheard, D.E. (eds) Category Theory and Computer Science. CTCS 1991. Lecture Notes in Computer Science, vol 530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013459
Download citation
DOI: https://doi.org/10.1007/BFb0013459
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54495-1
Online ISBN: 978-3-540-38413-7
eBook Packages: Springer Book Archive