UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Type
Number of items: 9.


Ishtiaq, S; Pym, DJ; (2002) Kripke resource models of a dependently-typed, bunched λ-calculus. Journal of Logic and Computation , 12 (6) pp. 1061-1104. 10.1093/logcom/12.6.1061.

Osorio, M; Pérez, JAN; Arrazola, J; (2002) A logical approach to A-Prolog. Electronic Notes in Theoretical Computer Science , 67 284 - 295. 10.1016/S1571-0661(04)80554-1. Green open access


Hirsch, R; Hodkinson, I; (2002) Relation algebras by games. Studies in logic and the foundations of mathematics: Vol.147. North-Holland: Amsterdam.

Book chapter

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: UNSPECIFIED (1 - 15). Green open access

Proceedings paper

Andersson, G; Bjesse, P; Cook, B; Hanna, Z; (2002) A proof engine approach to solving combinational design automation problems. In: (pp. pp. 725-730). ACM

Curzon, P; Blandford, A; (2002) From a formal user model to design rules. In: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION. (pp. 1 - 15).

Conference item

Bruneau, D; Sasse, MA; McCarthy, JD; (2002) The Eyes Never Lie: The Use of Eyetracking Data in HCI Research. Presented at: Proceedings of the CHI2002 Workshop on Physilogical Computing. Minneapolis. April 21.

Riegelsberger, J; Sasse, MA; (2002) Face it - Photos don't make a web site trustworthy. Presented at: UNSPECIFIED.

Sasse, MA; Monthienvichienchai, R; (2002) Computer Support for Vicarious Learning. Presented at: UNSPECIFIED.

This list was generated on Sun Jun 18 05:31:22 2017 BST.