journal article
oaidoi:10.1016/0022-4049(92)90054-J

Constructive λ-models

Authors
Publication date
8 June 1992
Publisher
Published by Elsevier B.V.
Doi

    Abstract

    AbstractWe prove in this paper that there is a partial order P such that for every (classical) extensional countable λ-model M there exists an object U in SetPop and a bijection ƒ : such that the λ-model defined from U and ƒ has the same equational theory as M

    Similar works

    Full text

    thumbnail-image

    Elsevier - Publisher Connector

    redirect
    oaidoi:10.1016/0022-4049(92)90054...
    Last time updated on 06/05/2017

    This paper was published in Elsevier - Publisher Connector .

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.