- The film was
produced by
Simon Block as 'executive producer' with
Nancy Bornat as
factual producer and Ben
Evans as
development producer. The film first...
-
Richard Bornat (born 1944) is a
British author and
researcher in the
field of
computer science. He is also
professor of
Computer programming at Middle****...
-
Pierre Bornat is a
French alpine skier and
sport official best
known for
taking the Judge's Oath at the 1992
Winter Olympics in Albertville. IOC 1992 Winter...
- configurable,
graphical proof ****istant,
originally developed by
Richard Bornat at
Queen Mary,
University of
London and
Bernard Sufrin the
University of...
- Proceedings. Springer. p. 325. ISBN 978-3-540-42612-7. Brotherston, J.;
Bornat, R.; Calcagno, C. (January 2008). "Cyclic
proofs of
program termination...
- S2CID 13409665. J
operator Peter Landin,
Lambda the Ultimate, 4 June 2009.
Bornat 2009a Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg,
Arthur L., eds. (5–7...
-
University of
London (PhD
Computer Science 1988,
supervised by
Richard Bornat).
Since 2021,
Abramsky has been
Professor of
Computer Science at University...
-
Implementation in ML.
Cambridge University Press. ISBN 978-0-521-58274-2.
Bornat,
Richard (1979).
Understanding and
Writing Compilers: A Do It
Yourself Guide...
- (2000):
Biographical Analysis. A
Germans School? In: Chamberlayne, Prue;
Bornat, Joanna; Wengraf, Tom (Eds.): The Turn to
Biographical Methods in Social...
- e1192733. doi:10.1080/19420889.2016.1192733. PMC 4988443. PMID 27574538.
Bornat, Yannick; Raoux, Matthieu; Boutaib, Youssef; et al. (2010). "Detection of...
