Back to Results
First PageMeta Content
Latin script / Western calligraphy / Ø / Diaeresis / Cartesian closed category / Calligraphy / C1 Controls and Latin-1 Supplement / ISO/IEC / Character encoding / Character sets / Acute accent


Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types£ Marcelo FioreÝ
Add to Reading List

Document Date: 2013-09-21 09:08:30

Open Document

File Size: 163,41 KB

Share Result on Facebook

City

St. Petersburg / Montreal / Paris / /

Company

Cambridge University Press / IEEE Computer Society Press / Section 2 / /

Country

Russia / Canada / Sweden / /

Event

Product Recall / Product Issues / /

Facility

Oxford University / Marcelo FioreÝ Computer Laboratory University of Cambridge Roberto Di Cosmo PPS / University of G¨oteborg / /

IndustryTerm

finite products / search keys / monomorphic type systems / computing / library search tools / re-usable software components / preserve finite products / /

Organization

Ku Klux Klan / Cambridge University / University of G¨oteborg / American Mathematical Society / Types£ Marcelo FioreÝ Computer Laboratory University / Oxford University / /

Person

Roberto Di Cosmo / Vincent Balat / Marcelo Fiore / Claude Kirchner / Alex Simpson / Sergei Soloviev / /

Position

editor / /

Product

basic definitions / /

PublishedMedium

Proceedings of the American Mathematical Society / Theory of Computing / Lecture Notes in Computer Science / American Mathematical Monthly / /

Technology

Functional Programming / artificial intelligence / /

SocialTag