A Construction of Typed Lambda Models Related to Feasible Computability

Vladimir Yu Sazonov, Andrei Voronkov, Georg Gottlob (Editor), Alexander Leitsch (Editor), Daniele Mundici (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this