Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)

Posted by klaurent Cornell

Kavli Affiliate: Zhiting Tian

| First 5 Authors: Corrado Böhm, Corrado Böhm, , ,

| Summary:

This is a plain English translation of [Böh68], originally in Italian, by Chun Tian. All footnotes (and citations only found in footnotes, of course) are added by the translator.

| Search Query: arXiv Query: search_query=au:Zhiting OR all:Tian&id_list=&start=0&max_results=3

Read More