|
| From: | Emanuel Berg |
| Subject: | Re: [OFFTOPIC] Re: Appending lists |
| Date: | Sat, 19 Jun 2021 04:18:35 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Eduardo Ochs wrote: > take a look at Benjamin Pierce's "Types and Programming > Languages" - > > https://www.cis.upenn.edu/~bcpierce/tapl/ > > and at Chapter 1 of the HOTT book: > > http://saunders.phil.cmu.edu/book/hott-online.pdf OK, thanks! I don't know, Computer Science... -- underground experts united https://dataswamp.org/~incal
| [Prev in Thread] | Current Thread | [Next in Thread] |