Re: Simple Question regarding Simply Typed Lambda Calculus
- From: William Elliot <marsh@xxxxxxxxxxxxxxxxxx>
- Date: Thu, 2 Nov 2006 00:48:33 -0800
On Thu, 2 Nov 2006, Debajit Adhikary wrote:
Why exactly do we need to define a context (indicated using Gamma) inWhy exactly do we a verb to state a sentence?
Simply Typed Lambda Calculus?
What happens if we left out the Gamma?What happens if we out the verb?
.
- References:
- Simple Question regarding Simply Typed Lambda Calculus
- From: Debajit Adhikary
- Simple Question regarding Simply Typed Lambda Calculus
- Prev by Date: Simple Question regarding Simply Typed Lambda Calculus
- Next by Date: Re: incompleteness and inconsistency
- Previous by thread: Simple Question regarding Simply Typed Lambda Calculus
- Next by thread: Re: Simple Question regarding Simply Typed Lambda Calculus
- Index(es):
