42 search results - page 4 / 9 » An introduction to logical spreadsheets |
451
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
192
click to vote
TLCA
2007
Springer
16 years 2 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...
