Lars Hallnäs

24 papers A 1B 1Misc 2Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2016 — ch.
On the Proof-Theoretic Foundations of Set Theory.
Advances in Proof-Theoretic Semantics
Lars Hallnäs
2008 Misc conf
Design process: design rationale the Affective Diary.
NordiCHI
Lars Hallnäs
2008 J jnl
Introduction to special issue on the aesthetics of interaction.
ACM Trans. Comput. Hum. Interact.
Marianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob
2008 J jnl
Introduction to special issue on the aesthetics of interaction.
ACM Trans. Comput. Hum. Interact.
Marianne Graves Petersen, Lars Hallnäs, Robert J. K. Jacob
2006 J jnl
On the Proof-theoretic Foundation of General Definition Theory.
Synth.
Lars Hallnäs
2002 A conf
Abstract information appliances: methodological exercises in conceptual design of computational things.
Symposium on Designing Interactive Systems
Lars Hallnäs, Johan Redström
2002 J jnl
From use to presence: on the expressions and aesthetics of everyday computational things.
ACM Trans. Comput. Hum. Interact.
Lars Hallnäs, Johan Redström
2002 Misc conf
Textile displays: using textiles to investigate computational technology as design material.
NordiCHI
Lars Hallnäs, Linda Melin, Johan Redström
2001 B conf
Expressions: Towards a Design Practice of Slow Technology.
INTERACT
Lars Hallnäs, Patricija Jaksetic, Peter Ljungstrand, Johan Redström, Tobias Skog
2001 J jnl
Slow Technology - Designing for Reflection.
Pers. Ubiquitous Comput.
Lars Hallnäs, Johan Redström
2000 — conf
Informative art: using amplified artworks as information displays.
Designing Augmented Reality Environments
Johan Redström, Tobias Skog, Lars Hallnäs
1994 — conf
Partial Inductive Definitions (Tutorial).
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Lars Hallnäs, Per Kreuger
1994 — conf
Program Separation in GCLA.
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Göran Falkman, Lars Hallnäs, Olof Torgersson
1992 — ed.
Extensions of Logic Programming, Second International Workshop, ELP'91, Stockholm, Sweden, January 27-29, 1991, Proceedings
ELP
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
1992 J jnl
On Systems of Definitions, Induction and Recursion.
BIT
Lars Hallnäs
1991 J jnl
A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions.
J. Log. Comput.
Lars Hallnäs, Peter Schroeder-Heister
1991 — conf
Logical and Computational Invariants of Programs.
ELP
Lars Hallnäs
1991 J jnl
Partial Inductive Definitions.
Theor. Comput. Sci.
Lars Hallnäs
1990 J jnl
A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules.
J. Log. Comput.
Lars Hallnäs, Peter Schroeder-Heister
1990 J jnl
The programming language GCLA - A definitional approach to logic programming.
New Gener. Comput.
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
1989 — conf
A Survey of GCLA: A Definitional Approach to Logic Programming.
ELP
Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger
1989 — conf
GCLA: Generalized Horn Clauses as a Programming Language.
SCAI
Martin Aronsson, Lars-Henrik Eriksson, Anette Gäredal, Lars Hallnäs, Peter Olin
1988 — conf
On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions.
Conference on Computer Logic
Lars Hallnäs
1987 J jnl
An Intensional Characterization of the Largest Bisimulation.
Theor. Comput. Sci.
Lars Hallnäs