Isomorphisms of types from [lambda]-calculus to information retrieval and language design

Isomorphisms of types from [lambda]-calculus to information retrieval and language design

Saved in:

Bibliographic Details
Main Author:	Di Cosmo, Roberto 1963-
Format:	Unknown
Published:	Boston Birkhauser 1995
Series:	Progress in theoretical computer science
Subjects:	Type theory Programming languages (Electronic computers) Human-computer interaction
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Types and programming languages
by: Pierce, Benjamin C
Published: (2002)

Developing Web Components with TypeScript Native Web Development Using Thin Libraries
by: Krause, Jörg 1964-
Published: (2021)

Abstract data types in Java Michael S. Jenkins
by: Jenkins, Michael S
Published: (1998)

Information seeking in electronic environments
by: Marchionini, Gary
Published: (1995)

Design interactive systems
by: Benyon, David
Published: (2010)

Digital ground architecture, pervasive computing and environmental knowing
by: McCullough, Malcolm
Published: (2004)

Designing interactions
by: Moggridge, Bill
Published: (2007)

Designing interactive systems people, activities, contexts, technologies
by: Benyon, David, et al.
Published: (2005)

Interaction design beyond human-computer interaction
by: Preece, Jennifer 1949-
Published: (2002)

Interaction design beyond human-computer interaction
by: Sharp, Helen
Published: (2007)

Interaction design beyond human-computer interaction
by: Preece, Jennifer 1949-
Published: (2002)

Interaction design beyond human-computer interaction
by: Rogers, Yvonne
Published: (2011)

Cognitive systems human cognitive models in systems design
Published: (2006)

Human-computer interaction designing for diverse users and domains
Published: (2009)

Human-computer interaction design issues, solutions, and applications
Published: (2009)

Making sense of space the design and experience of virtual spaces as a tool for communication
by: Kuksa, Iryna
Published: (2014)

The graph isomorphism problem its structural complexity
by: Kobler, Johannes 1958
Published: (1993)

The human interface where people and computers meet
by: Bolt, Richard A
Published: (1984)

Governance of communication networks connecting societies and markets with IT
Published: (2006)

New contributions to vision-based human-computer interaction in local and global environments
by: Kohler, Markus R. J.
Published: (1999)

Advances in human-computer interaction human comfort and security
Published: (1995)

The social and interactional dimensions of human-computer interfaces
Published: (1995)

Perspectives on HCI diverse approaches
Published: (1995)

Human-computer interaction Interact '95
by: Preece, Jenny 1949-
Published: (1995)

Human-computer interaction theory and practice
by: Maddix, Frank 1947-
Published: (1990)

Human computer interaction in the new millennium
Published: (2002)

Human-computer interaction
by: Smith-Atakan, Serengul
Published: (2006)

Human computer interaction issues and challenges
Published: (2001)

Fundamentals of human-computer interaction
Published: (1984)

The essence of human-computer interaction
by: Faulkner, Christine 1953-
Published: (1998)

Expert systems human issues
Published: (1990)

Human-computer interaction
Published: (1998)

Human-computer interaction
Published: (2004)

Brain-computer interfaces revolutionizing human-computer interaction
Published: (2010)

Human computer interaction psychology, task analysis, and software engineering
by: Johnson, Peter 1950-
Published: (1992)

Engineering the human-computer interface

Human-computer interaction INTERACT 97
Published: (1997)

Issues of human computer interaction
Published: (2005)

Human computer interaction development and management
Published: (2002)

Cyberpsychology an introduction to human-computer interaction
by: Norman, Kent L.
Published: (2008)