James McKinna
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 18
Publications (10 Years): 18
Top Topics
Publications
- Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
- Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
- J. Garrett Morris, James McKinna
- Craig McLaughlin, James McKinna, Ian Stark
- Guillaume Allais, James Chapman, Conor McBride, James McKinna
- Faris Abou-Saleh, James McKinna, Jeremy Gibbons
- Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens
- James McKinna
- Faris Abou-Saleh, James McKinna, Jeremy Gibbons
- James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons
- James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh
- Herman Geuvers, Robbert Krebbers, James McKinna
- Herman Geuvers, Robbert Krebbers, James McKinnaThe lambda-mu-T-calculus CoRR (2012)
- Carst Tankink, Herman Geuvers, James McKinna
- Carst Tankink, James McKinna
- Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
- Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
- Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk
- Adam Gundry, Conor McBride, James McKinna
- Lionel Elie Mamane, Herman Geuvers, James McKinna
- Stéphane Lengrand, Roy Dyckhoff, James McKinna
- James McKinna
- Conor McBride, James McKinna
- Conor McBride, James McKinna
- Conor McBride, Healfdene Goguen, James McKinna
- Edwin C. Brady, Conor McBride, James McKinna
- James McKinna, Robert Pollack
- James McKinna, Robert Pollack
- L. S. van Benthem Jutting, James McKinna, Robert Pollack