| | Implementation of Bourbaki's Elements of Mathematics in Coq (unibo.it) |
| 2 points by gone35 11 months ago | past |
|
| | Peer-to-Peer Cloud Computing [pdf] (unibo.it) |
| 3 points by agnosticmantis on March 5, 2023 | past |
|
| | Abella: A System for Reasoning about Relational Specifications (2014) (unibo.it) |
| 1 point by jnash on Sept 30, 2022 | past |
|
| | A comic story about Maryam Mirzakhani (unibo.it) |
| 1 point by emme on May 14, 2022 | past |
|
| | PiDuce is a distributed implementation of pi-like process calculi (unibo.it) |
| 2 points by pyinstallwoes on Sept 24, 2021 | past |
|
| | Does the human brain resemble the Universe? (unibo.it) |
| 2 points by signa11 on Nov 23, 2020 | past |
|
| | Ontology - computer science (2008) (unibo.it) |
| 1 point by adrian_mrd on Feb 2, 2020 | past |
|
| | A Short Introduction to Implicit Computational Complexity [pdf] (unibo.it) |
| 20 points by espeed on Jan 6, 2018 | past | 2 comments |
|
| | Populism and Institutional Capture [pdf] (unibo.it) |
| 3 points by wslh on Jan 8, 2017 | past |
|
| | A String of Pearls: Proofs of Fermat's Little Theorem (unibo.it) |
| 2 points by colinprince on Feb 17, 2014 | past |
|
| | Violent crime increasing in Europe, decreasing in US (unibo.it) |
| 1 point by chucknthem on Aug 10, 2012 | past |
|
| | A Garbage Can Model of Organizational Choice [pdf] (unibo.it) |
| 1 point by wslh on April 22, 2011 | past |
|
| | Unix for poets (unibo.it) |
| 50 points by agconway on April 17, 2011 | past | 4 comments |
|
| | Unix for Poets (unibo.it) |
| 2 points by edw519 on April 30, 2009 | past |
|
