Nathan A. Collins

From MaRDI portal
Person:3376120

Available identifiers

zbMath Open collins.nathan-aMaRDI QIDQ3376120

List of research outcomes





PublicationDate of PublicationType
Irrelevance, heterogeneous equality, and call-by-value dependent type systems2021-03-17Paper
A verified information-flow architecture2014-04-10Paper
Analytic expressions for gravitational inner multipole moments of elementary solids and for the force between two rectangular solids2006-03-20Paper

Research outcomes over time

This page was built for person: Nathan A. Collins

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3376120&oldid=7891610"
Powered by MediaWiki