1. VISUALIZING and ANIMATING JL A Revolutionary Proposal for the Presentation of Logic, Mathematics and Computer Science Peter van Emde Boas & Frans Zwarts

2. The Problem JL is a very simple calculus: Generators: {J, L, J/L} Rule: J/L. L ==> J Problem: How to motivate people to investigate this calculus (and similar calculi)???

3. The Key Observation People in industry use an informal language, invoking Anthropomorphic Notions: Agents, Actions, Intentions, Desires, Competition, Cooperation, … People in industry succeed!!! Therefore: Base your calculus on Anthropomorphic Images!

4. The JL Calculus; Revised L:J:J/L: RULE:==>

5. CONSEQUENCES You can get what you want for free We have derived the desired object No razor needed to remove a beard What more evidence do you require?

6. Extending the Project Objects by themselves are not interesting Structure is important Structure is determined up-to isomorphism, bisimulation, …. So we need to investigate the type structure ….

7. Type 013: The sweetest boy in town

8. Type 021: The elder brother

9. Type 031: Most likely to succeed

10. Type 039: Mr. Wise Guy

11. Type 050: Deeply in love

12. Type 051: Going public

13. Type 098: Plan Q65 ?

14. Type 112: Testing the stage

15. Type 113: Once in a lifetime...

16. Type 114: Those were the days

17. Type 115: You deserve it

18. Type 116: Family man

19. Type 144: Amongst friends

20. Type 178: Pater Familias

21. Type 219: Favorite speaker Categorial Grammars: 1987Logic @ home: 1987 REX Workshop: 1988JELIA: 1990LC99: 19990803 ESSLLI 99: 19990812

22. Type 225: Governor 1987021119870909 1988091419910911

23. Type 244: AMC Bobo AMC 03: 1980 AMC 04: 1982 AMC 11: 1997AMC 10: 1995AMC 09: 1993AMC 08: 1991 AMC 07: 1989AMC 06: 1987AMC 05: 1984 AMC 12: 1999

24. Type 279: President NV Logica NVL: 1982NVL: 1983

25. Type 289: Receiving the Liber ESSLLI 99: 19990812

26. The Grand Finale But That’s a Different Project …..