{"identifier":"nobleid:/w1/20260521/89AFBC2F","arkIdentifier":"ark:/48914/w1/20260521/89AFBC2F","version":1,"workTitle":"Inductive Definitions","workType":"Journal Article","authors":"Robert Harper","description":null,"workUrl":null,"existingDoi":"10.1017/cbo9781139342131.003","createdAt":"2026-05-21T14:27:09.799569Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/89AFBC2F.v1"}