Concepedia

R. Milner

RM

8

Publications

283

Citations

8

H-Index

1970

Active since

Affiliations

University of Edinburgh(Current)

University of Malta

R. Milner is an author at University of Edinburgh specializing in engineering, formal methods, and automated reasoning.

Top concepts

Publications per year

1970–2004

8

Publications

8

A Metalanguage for interactive proof in LCF

Mike Gordon, R. Milner, L. Morris et al. · 1978 · 127 citations · Full text

, , +12

Lectures on a Calculus for Communicating Systems

R. Milner · 1986 · 37 citations

, , +1

Control structures

Adrian Mifsud, R. Milner, John Power · Logic in Computer Science · 1995 · 29 citations

, , +11

The use of machines to assist in rigorous proof

R. Milner · Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences · 1984 · 27 citations

A Logic for Computable Functions with Reflexive and Polymorphic Types

R. Milner, L. Morris, M. Newey · 1975 · 24 citations

, , +8

Rows per page

1–5 of 8