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

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.

6 Apr 2006: Liz grew up in the Cambridge area, and Konnie was a student at Robinson College where she read 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

18 May 2006: is_intconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :int. ... DESCRIPTION. The call is_intconst t tests whether the term t is a canonical integer literal of type :int, i.e.

18 May 2006: is_imp : term -> bool. SYNOPSIS. Tests if a term is an application of implication.

18 May 2006: is_neg : term -> bool. SYNOPSIS. Tests a term to see if it is a logical negation.

18 May 2006: is_abs : term -> bool. SYNOPSIS. Tests a term to see if it is an abstraction.

18 May 2006: is_var : term -> bool. SYNOPSIS. Tests a term to see if it is a variable.

18 May 2006: is_ratconst : term -> bool. SYNOPSIS. Tests if a term is a canonical rational literal of type :real. ... DESCRIPTION. The call is_ratconst t tests whether the term t is a canonical rational literal of type :real.

18 May 2006: is_let : term -> bool. SYNOPSIS. Tests a term to see if it is a let-expression.

18 May 2006: is_cond : term -> bool. SYNOPSIS. Tests a term to see if it is a conditional.

18 May 2006: is_conj : term -> bool. SYNOPSIS. Tests a term to see if it is a conjunction.

18 May 2006: is_cons : term -> bool. SYNOPSIS. Tests a term to see if it is an application of CONS.

18 May 2006: is_disj : term -> bool. SYNOPSIS. Tests a term to see if it is a disjunction.

18 May 2006: is_iff : term -> bool. SYNOPSIS. Tests if a term is an equation between Boolean terms (iff / logical equivalence).

18 May 2006: is_list : term -> bool. SYNOPSIS. Tests a term to see if it is a list.

18 May 2006: is_comb : term -> bool. SYNOPSIS. Tests a term to see if it is a combination (function application).

18 May 2006: is_pair : term -> bool. SYNOPSIS. Tests a term to see if it is a pair.

18 May 2006: is_undefined : ('a, 'b) func -> bool. SYNOPSIS. Tests if a finite partial function is defined nowhere. ... The predicate is_undefined tests if the argument is the completely undefined function.

18 May 2006: is_type : hol_type -> bool. SYNOPSIS. Tests whether a type is an instance of a type constructor.

27 Jan 2006: Maarten Scholten, Chairman of the Schlumberger Foundation, said: “Education, particularly in science and engineering, is the vital ingredient that will ensure continued social and economic development in African countries.

18 May 2006: free_in : term -> term -> bool. SYNOPSIS. Tests if one term is free in another.

18 May 2006: is_const : term -> bool. SYNOPSIS. Tests a term to see if it is a constant.

18 May 2006: is_binop : term -> term -> bool. SYNOPSIS. Tests if a term is an application of the given binary operator.

18 May 2006: is_exists : term -> bool. SYNOPSIS. Tests a term to see if it as an existential quantification.

18 May 2006: is_forall : term -> bool. SYNOPSIS. Tests a term to see if it is a universal quantification.

18 May 2006: is_select : term -> bool. SYNOPSIS. Tests a term to see if it is a choice binding.

17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is

7 Nov 2006: area. It is home to the Faculties of Modern and Medieval Languages, Philosophy and Economics.

18 May 2006: is_realintconst : term -> bool. SYNOPSIS. Tests if a term is an integer literal of type :real. ... DESCRIPTION. The call is_realintconst t tests whether the term t is a canonical integer literal of type :real, i.e.

18 May 2006: occurs_in : hol_type -> hol_type -> bool. SYNOPSIS. Tests if one type occurs in another.

18 May 2006: is_numeral : term -> bool. SYNOPSIS. Tests if a term is a natural number numeral.

18 May 2006: is_vartype : hol_type -> bool. SYNOPSIS. Tests a type to see if it is a type variable.

10 Nov 2006: During the Victorian era, economic and technological developments helped scholars unearth new information about a range of different historical periods.

18 May 2006: is_reserved_word : string -> bool. SYNOPSIS. Tests if a string is one of the reserved words. ... The call is_reserved_word s tests if the string s is one of them.

14 Mar 2006: Dr Turner, of the Department of Psychiatry, is one of five young researchers chosen to showcase their research at the prominent event organised by the Office

23 Mar 2006: From October 1984 he was Professor of Economics at the London School of Economics where he founded the Financial Markets Group.

3 Oct 2006: Perhaps in multi-cultural Britain the complex interactions of geo-political and socio-economic factors are being manifested in newer forms in the everyday realm of food,” said Dr Janeja.

22 Nov 2006: During the day, the Economic and Social Research Council (ESRC) and the Engineering and Physical Sciences Research Council (EPSRC) will each run a workshop to provide advice specific to their funding

15 Feb 2006: This could be through the use of economic means, such as the EU’s emission trading scheme, applying a multi-disciplinary approach to bring together the work of several departments. ... Dr Terry Barker, Director of 4CMR, said: “This is very exciting

17 Jul 2006: Speaking about the socio-economic impact of academic institutions, he admitted that the future of a university even as ancient as Cambridge is linked to the value it brings and is

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.

30 Nov 2006: It’s great to see students throwing their mobile phones in the air after the talks to test the law of conservation of angular momentum,” he says.