68804
This provides the foundation for the intuitionistic type theory developed by Per Martin-Löf , and is often extended to a three way correspondence , the third leg of which are the cartesian closed categories .
 Per Martin-Löf
Please list all entity words in the text that fit the category. Output format is "word1, word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
Answer:
 Per Martin-Löf