Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Programming Languages
  4. Freyd categories are Enriched Lawvere Theories

Freyd categories are Enriched Lawvere Theories

Sam Staton

Journal
Electron. Notes Theor. Comput. Sci.
Pages
197–206
Volume
303
Year
2014

Links

See Also

Back to Top