old unypted programming language mentioned in Brian Beckman or maybe Erik Mayer video or similar?

I heard a reference to a language like this was suggested as a research idea.  I didnt write it down in time and I really want to read about it,  Can you(anyone) help me figure out which language this was.  I remember the main thing about it was that it was untyped.  I am not 100% that you said it was functional or imperative.  Thanks a ton.  

_Will(tertl3)

I think you mean typeless lambda calculus.

Mavis to the rescue?

-Josh

4 minutes ago, JoshRoss wrote

Mavis to the rescue?

-Josh

Unsupported browser

We're sorry but this site only supports Internet Explorer, Firefox. This is a demonstration site only and has not been tested for other popular browsers.

We are sorry for any inconvenience this may cost.

If you have been shown this message incorrectly, please contact our MSR MM Search. Otherwise, please use one of the supported browsers to view this site.

Take that, Google!

@Richard.Hein: no, that was not it