A note on rewriting theory for uniqueness of iteration

Theory and Applications of Categories

Volumn 6, Issue , 2000, Pages 47-64

  Okada, M ^a   Scott, P J ^a  

^a NONE

Author keywords

Mal'cev operations; Rewriting theory; Strong normalization; Typed lambda calculus

Indexed keywords

EID: 0006983647     PISSN: 1201561X     EISSN: 1201561X     Source Type: Journal    
DOI: None     Document Type: Article

References (0)