An Intensional Characterization of the Largest Bisimulation. - Lars Hallnäs (Theor. Comput. Sci., 1987)

On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions. - Lars Hallnäs (Conference on Computer Logic, 1988)

A Survey of GCLA: A Definitional Approach to Logic Programming. - Martin Aronsson; Lars-Henrik Eriksson; Lars Hallnäs; Per Kreuger (ELP, 1989)

GCLA: Generalized Horn Clauses as a Programming Language. - Martin Aronsson; Lars-Henrik Eriksson; Anette Gäredal; Lars Hallnäs; Peter Olin (SCAI, 1989)

A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules. - Lars Hallnäs; Peter Schroeder-Heister (J. Log. Comput., 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)

Logical and Computational Invariants of Programs. - Lars Hallnäs (ELP, 1991)

A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. - Lars Hallnäs; Peter Schroeder-Heister (J. Log. Comput., 1991)

Partial Inductive Definitions. - Lars Hallnäs (Theor. Comput. Sci., 1991)

On Systems of Definitions, Induction and Recursion. - Lars Hallnäs (BIT, 1992)

Program Separation in GCLA. - Göran Falkman; Lars Hallnäs; Olof Torgersson (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Partial Inductive Definitions (Tutorial). - Lars Hallnäs; Per Kreuger (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

Informative art: using amplified artworks as information displays. - Johan Redström; Tobias Skog; Lars Hallnäs (Designing Augmented Reality Environments, 2000)

Expressions: Towards a Design Practice of Slow Technology. - Lars Hallnäs; Patricija Jaksetic; Peter Ljungstrand; Johan Redström; Tobias Skog (INTERACT, 2001)

Slow Technology - Designing for Reflection. - Lars Hallnäs; Johan Redström (Pers. Ubiquitous Comput., 2001)

Abstract information appliances: methodological exercises in conceptual design of computational things. - Lars Hallnäs; Johan Redström (Symposium on Designing Interactive Systems, 2002)

Textile displays: using textiles to investigate computational technology as design material. - Lars Hallnäs; Linda Melin; Johan Redström (NordiCHI, 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)

On the Proof-theoretic Foundation of General Definition Theory. - Lars Hallnäs (Synth., 2006)

Design process: design rationale the Affective Diary. - Lars Hallnäs (NordiCHI, 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)

On the Proof-Theoretic Foundations of Set Theory. - Lars Hallnäs (Advances in Proof-Theoretic Semantics, 2016)