J-Calc : a Typed Lambda Calculus for Intuitionistic Justification Logic