[Haskell-cafe] Need help understanding Ralf Hinze's Lifting Lemma, and its connection to the Transfer Principle
byorgey at gmail.com
Fri May 10 04:09:18 UTC 2019
Hi Brian, this sounds like fun. Let's talk off-list and see if we can set
something up for next week (unless someone else already replied).
On Thu, May 9, 2019, 4:52 PM Brian Merchant <bhmerchant at gmail.com> wrote:
> Hi all,
> I am a student in mathematics exploring alternative ways in which the
> transfer principle ( https://en.wikipedia.org/wiki/Transfer_principle )
> can be proved.
> I've found a paper by Ralf Hinze which I think is relevant:
> https://www.cs.ox.ac.uk/ralf.hinze/Lifting.pdf. However, I'd benefit from
> being able to talk to someone who understands the notation starting section
> 3 and onwards, as I am very much a Haskell newbie (everything I have
> learned, has been in the last 4 days, as I try to decipher this paper).
> Would anyone be willing to have a conversation with me regarding this?
> Kind regards,
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe