Search

18 May 2006: is_gabs : term -> bool. SYNOPSIS. Tests if a term is a basic or generalized abstraction. ... DESCRIPTION. The call is_gabs t tests if t is either a basic logical abstraction (as identified by is_abs) or a generalized one (a standard composite logical

6 Apr 2006: Liz grew up in the Cambridge area, and Konnie was a student at Robinson College where she read Economics.

26 Sep 2006: Dr Nuttall’s co-editors include Dr Michael Pollitt, University Lecturer in Business Economics at the Judge Business School, and Dr Tooraj Jamasb, Senior Research Fellow at the University’s Faculty ... of Economics.

18 May 2006: is_prefix : string -> bool. SYNOPSIS. Tests if an identifier has prefix status. ... The call is_prefix "c" tests if c is one of those identifiers.

18 May 2006: is_binary : string -> term -> bool. SYNOPSIS. Tests if a term is an application of a named binary operator. ... DESCRIPTION. The call is_binary s tm tests if term tm is an instance of a binary operator (op l) r where op is a constant with name s.

18 May 2006: is_binder : string -> term -> bool. SYNOPSIS. Tests if a term is a binder construct with named constant. ... DESCRIPTION. The call is_binder "c" t tests whether the term t has the form of an application of a constant c to an abstraction.

19 Sep 2006: Currently Dr Lee and the group are developing technology for the detection of HIV, Hepatitis B and Hepatitis C in one test (Triplex). ... It’s vital for diagnostic tests such as these to be instant and not expensive,” Dr Lee explained.

20 Jan 2006: The project has been funded for a year by a generous donation from Professor Robert Z Aliber – an alumnus of St John’s College, Cambridge and Professor of International Economics and

5 Jul 2006: These remarkable people in turn represent other worlds the human intellect often takes us to: through the disciplines of theology, economics, education, literature, mathematics, science, and engineering.

29 Sep 2006: The EPRG is run jointly by the Judge Business School and the Faculty of Economics at the University of Cambridge and encourages interdisciplinary research into the electricity supply. ... Dr Michael Pollit, EPRG’s acting Executive Director and Reader