Compact bracket abstraction in combinatory logic

From MaRDI portal
Publication:4372904