{"type":"video","version":"1.0","title":"Fixed-point theorem and Y combinator in lambda calculus","author_name":"Evgeniy Malov","author_url":"https://odysee.com/@evgeniiml:c","provider_name":"Odysee","provider_url":"https://odysee.com","thumbnail_url":"https://thumbnails.odycdn.com/card/s:1280:720/quality:85/plain/https://thumbnails.lbry.com/_q24qBT6XtY","thumbnail_width":"390","thumbnail_height":"220","html":"<iframe id=\"odysee-iframe\" style=\"width:100%; aspect-ratio:16 / 9;\" src=\"https://odysee.com/%24/embed/%40evgeniiml%3Ac%2Ffixed-point-theorem-and-y-combinator-in%3A2?autoplay=true\" allowfullscreen></iframe>","width":560,"height":315}