Simple Question regarding Simply Typed Lambda Calculus
- From: "Debajit Adhikary" <debajit1@xxxxxxxxx>
- Date: 2 Nov 2006 00:26:20 -0800
Why exactly do we need to define a context (indicated using Gamma) in
Simply Typed Lambda Calculus?
What happens if we left out the Gamma?
This is something I'm not too clear about.. I'd appreciate any help at
all -- I'm looking for examples in particular -- pointers to web
resources would be great.
.
- Follow-Ups:
- Re: Simple Question regarding Simply Typed Lambda Calculus
- From: Jan Burse
- Re: Simple Question regarding Simply Typed Lambda Calculus
- From: William Elliot
- Re: Simple Question regarding Simply Typed Lambda Calculus
- Prev by Date: Re: incompleteness and inconsistency
- Next by Date: Re: Simple Question regarding Simply Typed Lambda Calculus
- Previous by thread: every formula is a logical consequence of its univeral closure.
- Next by thread: Re: Simple Question regarding Simply Typed Lambda Calculus
- Index(es):
Relevant Pages
|