Lars Hallnäs - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2016

On the Proof-Theoretic Foundations of Set TheoryLars Hallnäs. In Thomas Piecha, Peter Schroeder-Heister, editors, Advances in Proof-Theoretic Semantics. Volume 43 of Trends in Logic, pages 161-171, Springer, 2016. [doi]

2008

Design process: design rationale the Affective DiaryLars Hallnäs. nordichi 2008: 565-566 [doi]

Introduction to special issue on the aesthetics of interactionMarianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob. TOCHI, 15(4):14, 2008. [doi]

Introduction to special issue on the aesthetics of interactionMarianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob. TOCHI, 15(3):10, 2008. [doi]

2006

On the Proof-theoretic Foundation of General Definition TheoryLars Hallnäs. synthese, 148(3):589-602, 2006. [doi]

2002

Abstract information appliances: methodological exercises in conceptual design of computational thingsLars Hallnäs, Johan Redström. ACMdis 2002: 105-116 [doi]

Textile displays: using textiles to investigate computational technology as design materialLars Hallnäs, Linda Melin, Johan Redström. nordichi 2002: 157-166 [doi]

From use to presence: on the expressions and aesthetics of everyday computational thingsLars Hallnäs, Johan Redström. TOCHI, 9(2):106-124, 2002. [doi]

2001

Slow Technology - Designing for ReflectionLars Hallnäs, Johan Redström. puc, 5(3):201-212, 2001. [doi]

Expressions: Towards a Design Practice of Slow TechnologyLars Hallnäs, Patricija Jaksetic, Peter Ljungstrand, Johan Redström, Tobias Skog. INTERACT 2001: 447-454

2000

Informative art: using amplified artworks as information displaysJohan Redström, Tobias Skog, Lars Hallnäs. dare 2000: 103-114 [doi]

1994

Program Separation in GCLAGöran Falkman, Lars Hallnäs, Olof Torgersson. ICLP 1994:

Partial Inductive Definitions (Tutorial)Lars Hallnäs, Per Kreuger. ICLP 1994:

1992

On Systems of Definitions, Induction and RecursionLars Hallnäs. bit, 32(1):45-63, 1992.

1991

A Proof-Theoretic Approach to Logic Programming. II. Programs as DefinitionsLars Hallnäs, Peter Schroeder-Heister. logcom, 1(5):635-660, 1991.

Logical and Computational Invariants of ProgramsLars Hallnäs. elp 1992: 181-191

Partial Inductive DefinitionsLars Hallnäs. TCS, 87(1):115-142, 1991.

1990

The programming language GCLA - A definitional approach to logic programmingMartin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin. ngc, 7(4):381-404, 1990. [doi]

A Proof-Theoretic Approach to Logic Programming. I. Clauses as RulesLars Hallnäs, Peter Schroeder-Heister. logcom, 1(2):261-283, 1990.

1989

A Survey of GCLA: A Definitional Approach to Logic ProgrammingMartin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger. elp 1991: 49-99

GCLA: Generalized Horn Clauses as a Programming LanguageMartin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, P. Olin. scai 1989: 873-887

1988

On the syntax of infinite objects: an extension of Martin-Löf s theory of expressionsLars Hallnäs. jic 1990: 94-104

1987

An Intensional Characterization of the Largest BisimulationLars Hallnäs. TCS, 53:335-343, 1987.

Sign in or sign up to see more results.

runs on WebDSL