{"name": "International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)", "last_modified": {"type": "/type/datetime", "value": "2008-04-01 03:28:50.625462"}, "key": "/authors/OL1454339A", "type": {"key": "/type/author"}, "id": 4934783, "revision": 1}