Neil Mitchell
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 10
Publications (10 Years): 10
University of York, UK (PHD)
Education History
University of York, UK
PHD
Publications
- Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
- Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
- Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
- Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
- Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
- Andrey Mokhov, Neil Mitchell, Simon Peyton Jones
- Joachim Breitner, Brian Huffman, Neil Mitchell, Christian SternagelHOLCF-Prelude. Arch. Formal Proofs 2017 (2017)
- Neil Mitchell
- Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
- Neil Mitchell
- Neil Mitchell
- Neil Mitchell
- Rodney McAdam, Neil Mitchell
- Neil Mitchell, Colin Runciman
- Neil Mitchell, Colin Runciman