The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing & terminal type

研究成果: Conference contribution

フィンガープリント

「The confluent terminating context-free substitutive rewriting system for the lambda-calculus with surjective pairing & terminal type」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science