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

Brent Yorgey 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,
> 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>

More information about the Haskell-Cafe mailing list