[Haskell-cafe] Need help understanding Ralf Hinze's Lifting Lemma, and its connection to the Transfer Principle

[Brent Yorgey]

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).

-Brent

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,
> Brian
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20190509/6374c832/attachment.html>