Erratum In Section 4 we defined two kinds of categorical models called λc 2η -models and monadic λc 2η -models, where the latter is stronger notion than the former; and in Theorem 4 we stated that the λc 2η -calcul - Two Kinds - Document - PDFSEARCH.IO

First Page	Meta Content
	Erratum In Section 4 we defined two kinds of categorical models called λc 2η -models and monadic λc 2η -models, where the latter is stronger notion than the former; and in Theorem 4 we stated that the λc 2η -calcul Add to Reading List Document Date: 2014-08-07 07:54:06 Open Document File Size: 87,05 KB Share Result on Facebook

Erratum In Section 4 we defined two kinds of categorical models called λc 2η -models and monadic λc 2η -models, where the latter is stronger notion than the former; and in Theorem 4 we stated that the λc 2η -calculAdd to Reading List