Status Updates From Simple Type Theory: A Pract...

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
by

William M. Farmer

all editions | this edition
show all updates | only show updates with text

Status Updates Showing 1-3 of 3

Jack Palmer

Jack Palmer is on page 37 of 309

— Nov 25, 2025 03:50AM Add a comment

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Jack Palmer

Jack Palmer is on page 20 of 309

— Nov 24, 2025 06:34PM Add a comment

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

Jack Palmer

Jack Palmer is on page 13 of 309

— Nov 24, 2025 04:45AM Add a comment

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)