[Agda] Initial Algebra Semantics for Lambda Calculus

Neil Ghani

2018-10-24 13:15:09 UTC

look up induction recursion which is a powerful meta-language for giving initial algebra semantics to typed languages
________________________________________
From: Agda [agda-***@lists.chalmers.se] on behalf of Martín [***@dcc.fceia.unr.edu.ar]
Sent: 24 October 2018 13:56
To: ***@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.