Publication | Closed Access
Proceedings of the International Conference on Typed Lambda Calculi and Applications
21
Citations
0
References
1993
Year
Unknown Venue
Typed Lambda CalculiEngineeringAutomated ReasoningType TheoryDependently Typed ProgrammingFormal MethodsComputer ScienceType SystemLambda CalculusFormal VerificationInternational ConferenceProgramming Languages
No additional data available for this publication yet. Check back later!