The semantics of second-order lambda calculus - Concepedia

Concepedia

Publication | Closed Access

The semantics of second-order lambda calculus

71

Citations

47

References

1990

Year

Kim B. Bruce, Albert R. Meyer, John C. Mitchell

Information and Computation

EngineeringAutomated ReasoningFormal MethodsHigher-order LogicSemanticsLambda CalculusSequent CalculusSecond-order Lambda Calculus

References

	Year	Citations

Page 1