[Agda] Initial Algebra Semantics for Lambda Calculus

[Neil Ghani]

look up induction recursion which is a powerful meta-language for giving initial algebra semantics to typed languages
________________________________________
From: Agda [agda-bounces at lists.chalmers.se] on behalf of Martín [martin at dcc.fceia.unr.edu.ar]
Sent: 24 October 2018 13:56
To: agda at lists.chalmers.se
Subject: [Agda] Initial Algebra Semantics for Lambda Calculus

Hello everyone,

I am looking for previous work done on Initial Algebra Semantics for
Lambda Calculus (or STLC) in Agda, or anything related to continue
working on it. My research is based on Initial Algebra Semantics and I
wanted a good rich language to play on which has some recursive notion.

Any help is welcome, and thank you!

Martin.

_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda