# A note on rewriting theory for uniqueness of iteration.

Theory and Applications of Categories [electronic only] (1999)

- Volume: 6, page 47-64
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topOkada, M., and Scott, P.J.. "A note on rewriting theory for uniqueness of iteration.." Theory and Applications of Categories [electronic only] 6 (1999): 47-64. <http://eudml.org/doc/120171>.

@article{Okada1999,

author = {Okada, M., Scott, P.J.},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {typed lambda calculus; strong normalization; Mal'cev operations},

language = {eng},

pages = {47-64},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {A note on rewriting theory for uniqueness of iteration.},

url = {http://eudml.org/doc/120171},

volume = {6},

year = {1999},

}

TY - JOUR

AU - Okada, M.

AU - Scott, P.J.

TI - A note on rewriting theory for uniqueness of iteration.

JO - Theory and Applications of Categories [electronic only]

PY - 1999

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 6

SP - 47

EP - 64

LA - eng

KW - typed lambda calculus; strong normalization; Mal'cev operations

UR - http://eudml.org/doc/120171

ER -

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.