Lars Hallnäs

According to our database, Lars Hallnäs authored at least 22 papers between 1987 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

On the Proof-Theoretic Foundations of Set Theory.

Lars Hallnäs

Proceedings of the Advances in Proof-Theoretic Semantics., 2016

2008

Introduction to special issue on the aesthetics of interaction.

Marianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob

ACM Trans. Comput. Hum. Interact., 2008

Design process: design rationale the Affective Diary.

Lars Hallnäs

Proceedings of the 5th Nordic Conference on Human-Computer Interaction 2008, 2008

2006

On the Proof-theoretic Foundation of General Definition Theory.

Lars Hallnäs

Synth., 2006

2002

From use to presence: on the expressions and aesthetics of everyday computational things.

Lars Hallnäs, Johan Redström

ACM Trans. Comput. Hum. Interact., 2002

Textile displays: using textiles to investigate computational technology as design material.

Lars Hallnäs, Linda Melin, Johan Redström

Proceedings of the Second Nordic Conference on Human-Computer Interaction 2002, 2002

Abstract information appliances: methodological exercises in conceptual design of computational things.

Lars Hallnäs, Johan Redström

Proceedings of the 4th Conference on Designing Interactive Systems: Processes, 2002

2001

Slow Technology - Designing for Reflection.

Lars Hallnäs, Johan Redström

Pers. Ubiquitous Comput., 2001

Expressions: Towards a Design Practice of Slow Technology.

Lars Hallnäs, Patricija Jaksetic, Peter Ljungstrand, Johan Redström, Tobias Skog

Proceedings of the Human-Computer Interaction INTERACT '01: IFIP TC13 International Conference on Human-Computer Interaction, 2001

2000

Informative art: using amplified artworks as information displays.

Johan Redström, Tobias Skog, Lars Hallnäs

Proceedings of DARE 2000, Designing Augmented Reality Environments, Elsinore, 2000

1994

Partial Inductive Definitions (Tutorial).

Lars Hallnäs, Per Kreuger

Proceedings of the ICLP 1994, 1994

Program Separation in GCLA.

Göran Falkman, Lars Hallnäs, Olof Torgersson

Proceedings of the ICLP 1994, 1994

1992

On Systems of Definitions, Induction and Recursion.

Lars Hallnäs

BIT, 1992

1991

Partial Inductive Definitions.

Lars Hallnäs

Theor. Comput. Sci., 1991

A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions.

Lars Hallnäs, Peter Schroeder-Heister

J. Log. Comput., 1991

Logical and Computational Invariants of Programs.

Lars Hallnäs

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

1990

The programming language GCLA - A definitional approach to logic programming.

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin

New Gener. Comput., 1990

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.

Lars Hallnäs, Peter Schroeder-Heister

J. Log. Comput., 1990

1989

GCLA: Generalized Horn Clauses as a Programming Language.

Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin

Proceedings of the Second Scandinavian Conference on Artificial Intelligence 1989, 1989

A Survey of GCLA: A Definitional Approach to Logic Programming.

Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger

Proceedings of the Extensions of Logic Programming, 1989

1988

On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.

Lars Hallnäs

Proceedings of the COLOG-88, 1988

1987

An Intensional Characterization of the Largest Bisimulation.

Lars Hallnäs

Theor. Comput. Sci., 1987