계산가능성 논리(computability logic) \cite{Jap03}에 영감을 받아, 재귀 함수 정의를 두 종류로 정련한다: 맹목적으로 한정(\textit{blindingly-quantified}, BQ)된 것들과 병렬 보편 한정(parallel universally quantified, PUQ)된 것들이다. BQ 정의는 재귀 정의가 evolving인 전통적인 정의에 해당한다. PUQ 정의는 계산 과정에서 \textit{evolving}되어, 자동 메모이제이션으로 이어진다. 또한 이러한 아이디어를 바탕으로, 새로운 고수준 객체지향 언어를 제안한다.
*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.