A Non-Type-Theoretic Definition of Martin-Löf's Types - Stuart Allen (LICS, 1987)

Preface. - Stuart Allen; John N. Crossley; Kung-Kiu Lau; Iman Poernomo (CLASE, 2005)

Cybersecurity professionals information sharing sources and networks in the U.S. electrical power industry. - Rick G. Randall; Stuart Allen (Int. J. Crit. Infrastructure Prot., 2021)