42 search results - page 4 / 9 » An introduction to logical spreadsheets |
476
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
208
click to vote
TLCA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
