Simple Question regarding Simply Typed Lambda Calculus



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.

.



Relevant Pages

  • Re: Percent of what? A proposal
    ... |> | They have to be dependent on the context in which they're used. ... Why are you so obsessed about gamma? ... already have the gamma correction applied used. ... browser will perform the correct calculations based on knowing these two ...
    (comp.infosystems.www.authoring.stylesheets)
  • Re: Percent of what? A proposal
    ... | They have to be dependent on the context in which they're used. ... What they are fractions of dependents on | what they are and on where they are in relation to something else. ... | The % value isn't to do with gamma it's simply to do with a percentage | of an 8 bit number. ... know that if you understood gamma correction and how calculations that do ...
    (comp.infosystems.www.authoring.stylesheets)
  • Re: Percent of what? A proposal
    ... |> | They have to be dependent on the context in which they're used. ... The gamma curves for monitors? ... already have the gamma correction applied used. ... browser will perform the correct calculations based on knowing these two ...
    (comp.infosystems.www.authoring.stylesheets)
  • Re: Word help please
    ... Barbara Carlson wrote: ... There was no context. ... She had another one in the next report, too, Gamma something. ...
    (sci.med.transcription)