Nathan

According to our database, Nathan authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

The Agda standard library: version 2.0.

Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. s. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke

J. Open Source Softw., December, 2025

2024

Foundations of Statistical Mechanics Foundations of Statistical Mechanics Roman Frigg and Charlotte Werndl, UK: Cambridge University Press, 2024, 84 pp., $22.00, ISBN 9781009016490: Roman Frigg and Charlotte Werndl, UK: Cambridge University Press, 2024, 84 pp., $22.00, ISBN 9781009016490.

Stephanie Elysia Chungdinata, Andriko, Nathan, Zulfaidil, Maya Nabila

Technometrics, April, 2024