Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)

Conference proceeding

Open access

Christopher Henson and Fabrizio Montesi

Electronic proceedings in theoretical computer science, v 449, pp 141-148

18 Jul 2026

Files and links (1)

url

https://doi.org/10.4204/EPTCS.449.9View

Published, Version of Record (VoR) Open

1 Record Views

Title: Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
Creators: Christopher Henson - Drexel University
Fabrizio Montesi - University of Southern Denmark
Publication Details: Electronic proceedings in theoretical computer science, v 449, pp 141-148
Number of pages: 8
Resource Type: Conference proceeding
Language: English
Academic Unit: Computer Science
Scopus ID: 2-s2.0-105047524609
Other Identifier: 991022209345904721